Abstract
This paper is the second in a series of six papers devoted to the proof of the Kepler conjecture, which asserts that no packing of congruent balls in three dimensions has density greater than the face-centered cubic packing. The top level structure of the proof is described. A compact topological space is described. Each point of this space can be described as a finite cluster of balls with additional combinatorial markings. A continuous function on this compact space is defined. It is proved that the Kepler conjecture will follow if the value of this function is never greater than a given explicit constant.
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
About this article
Cite this article
Hales, T., Ferguson, S. A Formulation of the Kepler Conjecture. Discrete Comput Geom 36, 21–69 (2006). https://doi.org/10.1007/s00454-005-1211-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-005-1211-1
Keywords
- Continuous Function
- Computational Mathematic
- Topological Space
- Level Structure
- Compact Space