Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Preprint |
| Argitaratua: |
2024
|
| Gaiak: | |
| Sarrera elektronikoa: | https://arxiv.org/abs/2402.08032 |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
| _version_ | 1866916123262320640 |
|---|---|
| author | Hales, Thomas |
| author_facet | Hales, Thomas |
| contents | 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. In 1998, Sam Ferguson and I announced a computer-assisted proof of this conjecture. Long delays in the refereeing process sparked a project to give a formal proof of the Kepler conjecture, which was completed in a large collaborative effort in 2014. This article gives a critical reappraisal of that project. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_08032 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The Formal Proof of the Kepler Conjecture: a critical retrospective Hales, Thomas Metric Geometry 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. In 1998, Sam Ferguson and I announced a computer-assisted proof of this conjecture. Long delays in the refereeing process sparked a project to give a formal proof of the Kepler conjecture, which was completed in a large collaborative effort in 2014. This article gives a critical reappraisal of that project. |
| title | The Formal Proof of the Kepler Conjecture: a critical retrospective |
| topic | Metric Geometry |
| url | https://arxiv.org/abs/2402.08032 |