Mathematics – Metric Geometry
Scientific paper
2009-02-02
Mathematics
Metric Geometry
Scientific paper
The Kepler conjecture asserts that no packing of congruent balls in three-dimensional Euclidean space has density greater than that of the face-centered cubic packing. The original proof, announced in 1998 and published in 2006, is long and complex. The process of revision and review did not end with the publication of the proof. This article summarizes the current status of a long-term initiative to reorganize the original proof into a more transparent form and to provide a greater level of certification of the correctness of the computer code and other details of the proof. A final part of this article lists errata in the original proof of the Kepler conjecture.
Hales Thomas C.
Harrison John
McLaughlin Sean
Nipkow Tobias
Obua Steven
No associations
LandOfFree
A revision of the proof of the Kepler conjecture does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A revision of the proof of the Kepler conjecture, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A revision of the proof of the Kepler conjecture will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-295927