The Kepler conjecture
摘要
This is the eighth and final paper in a series giving a proof of the Kepler conjecture, which asserts that the density of a packing of congruent spheres in three dimensions is never greater than . This is the oldest problem in discrete geometry and is an important part of Hilbert's 18th problem. An example of a packing achieving this density is the face-centered cubic packing. This paper completes the fourth step of the program outlined in math.MG/9811073: A proof that if some standard region has more than four sides, then the star scores less than .
引用
@article{arxiv.math/9811078,
title = {The Kepler conjecture},
author = {Thomas C. Hales},
journal= {arXiv preprint arXiv:math/9811078},
year = {2007}
}
备注
62 pages. Eighth and last in a series beginning with math.MG/9811071. Includes an index of terminology and notation for the entire series. The source package of the first version includes the source code of the software used in the proof. The second version has been completely rewritten