The Kepler Conjecture

1. The Kepler Conjecture and Its Proof
Jeffrey C. Lagarias

2. Bounds for Local Density of Sphere Packings and the Kepler Conjecture
J. C. Lagarias

3. Historical Overview of the Kepler Conjecture
Thomas C. Hales

4. A Formulation of the Kepler Conjecture
Thomas C. Hales, Samuel P. Ferguson

5. Sphere Packings, III. Extremal Cases
Thomas C. Hales

6. Sphere Packings, IV. Detailed Bounds
Thomas C. Hales

7. Sphere Packings, V. Pentahedral Prisms
Samuel P. Ferguson

8. Sphere Packings, VI. Tame Graphs and Linear Programs
Thomas C. Hales

9. A Revision of the Proof of the Kepler Conjecture
Thomas C. Hales, John Harrison, Sean McLaughlin, Tobias Nipkow, Steven Obua, Roland Zumkeller

10. Sphere Packings, I
T. C. Hales

11. Sphere Packings, II
T. C. Hales

Nyckelord: Mathematics, Convex and Discrete Geometry, Mathematical Applications in the Physical Sciences