A proof of the Kepler conjecture

Annals of Mathematics

Volumn 162, Issue 3, 2005, Pages 1065-1185

  Hales, Thomas C ^a  

^a UNIVERSITY OF PITTSBURGH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 22044441063     PISSN: 0003486X     EISSN: 0003486X     Source Type: Journal    
DOI: 10.4007/annals.2005.162.1065     Document Type: Review

References (18)

1. [CS98] J. H. CONWAY and N. J. A. SLOANE, Sphere Packings, Lattices and Groups, third edition, Springer-Verlag, New York, 1998.
2. [Fej72] L. FEJES TÓTH, Lagerungen in der Ebene auf der Kugel und im Raum, second edition, Springer-Verlag, New York, 1972.
3. [Fer97] SAMUEL P. FERGUSON, Sphere packings V, thesis, University of Michigan, 1997; arXiv math.MG/9811077; Discrete and Computational Geometry, to appear.
4. [Hal92] THOMAS C. HALES, The sphere packing problem, J. Comput. and Appl. Math. 44 (1992), 41-76.
5. [Hal93] _, Remarks on the density of sphere packings, Combinatorica 13 (1993), 181-197.
6. [Hal96] _, A reformulation of the Kepler Conjecture, unpublished manuscript, November 1996.
7. [Hal97a] _, Sphere packings I, Discrete Comput. Geom. 17 (1997), 1-51.
8. [Hal97b] _, Sphere packings II, Discrete Comput. Geom. 18 (1997), 135-149.
9. [Hal00] _, Cannonballs and honeycombs, Notices Amer. Math. Soc. 47 (2000), 440-449.
10. [Hal01] _, Sphere packings in 3 dimensions, Arbeitstagung, 2001.
11. [Hal03] _, Some algorithms arising in the proof of the Kepler conjecture, Discrete Comput. Geom. 489-507, in Algorithms Combin. 25, Springer-Verlag, New York, 2003.
12. [Hal05] THOMAS C. HALES, Computer resources for the Kepler conjecture, http://annals.math.princeton.edu/keplerconjecture/.
13. [Hal06a] _, A Proof of the Kepler conjecture (unabridged version), Discrete Comput. Geom., to appear (2006).
14. [Hal06b] _, An overview of the Kepler conjecture, preprint, in [Hal06a].
15. [IEEE] IEEE Standard for Binary Floating-Point Arithmetic, ANSI/IEEE Std. 754-1985, IEEE, New York.
16. [Hil01] D. HILBERT, Mathematische Probleme, Archiv Math. Physik 1 (1901), 44-63,
17. also in Proc. Sympos. Pure Math. 28 (1976), 1-34.
18. [Rog58] C. A. ROGERS, The packing of equal spheres, Proc. London Math. Soc. 8 (1958), 609-620.