×

Sphere packings. I. (English) Zbl 0883.52012

The Kepler conjecture asserts that no packing of equal spheres in 3-space has density exceeding that of the face-centered cubic lattice packing.
After several attempts to prove this most famous geometric problem the author has developed a program which combines geometric strategies (e.g. space-decomposition into Delaunay simplices), a reduction strategy to finitely many optimization problems and a computer aided attack to these problems. In this first (of perhaps 4 or 5) papers [for part II see the paper Zbl 0883.52013 below] the author solves some restricted special cases.
Reviewer: J.M.Wills (Siegen)

MSC:

52C17 Packing and covering in \(n\) dimensions (aspects of discrete geometry)

Citations:

Zbl 0883.52013
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] G. Alefeld and J. Herzeberger,Introduction to Interval Computations, Academic Press, New York, 1983. · Zbl 0552.65041
[2] L. Fejes Tóth,Lagerungen in der Ebene, auf der Kugel und im Raum, Springer-Verlag, Berlin, 1953. · Zbl 0052.18401
[3] T. C. Hales, Remarks on the density of sphere packings in three dimensions,Combinatorica,13(2) (1993), 181-197. · Zbl 0784.05023 · doi:10.1007/BF01303203
[4] T. C. Hales, The sphere packing problem,J. Comput. Appl. Math,44 (1992), 41-76. · Zbl 0770.52009 · doi:10.1016/0377-0427(92)90052-Y
[5] T. C. Hales, The status of the Kepler conjecture,Math. Intelligencer,16(3) (1994), 47-58. · Zbl 0844.52018 · doi:10.1007/BF03024356
[6] T. C. Hales, Sphere packings, II,Discrete Comput. Geom., to appear. · Zbl 0883.52013
[7] T. C. Hales, Sphere packings, III, in preparation. · Zbl 1186.52011
[8] T. C. Hales, Packings, http://www-personal.math.lsa.umich.edu/∼hales/packings.html · Zbl 0883.52013
[9] J. F. Hartet al., Computer Approximations, Wiley, New York, 1968. · Zbl 0174.20402
[10] IEEE Standard for Binary Floating-Point Arithmetic, ANSI/IEEE Std. 754-1985, IEEE, New York.
[11] W. H. Presset al., Numerical recipes in C,Less-Numerical Algorithms, second edition, Cambridge University Press, Cambridge, 1992. Chapter 20.
[12] C. A. Rogers, The packing of equal spheres,Proc. London Math. Soc. (3)8 (1958), 609-620. · Zbl 0085.03302 · doi:10.1112/plms/s3-8.4.609
[13] What every computer scientist should know about floating-point arithmetic,Comput. Surveys, 23(1) (1991), 5-48.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.