The dodecahedral conjecture
From MaRDI portal
Publication:3584349
DOI10.1090/S0894-0347-09-00647-XzbMath1207.52017arXivmath/9811079OpenAlexW2043294489WikidataQ56267710 ScholiaQ56267710MaRDI QIDQ3584349
Thomas C. Hales, Sean McLaughlin
Publication date: 27 August 2010
Published in: Journal of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9811079
Related Items (8)
An isoperimetric problem for three-dimensional parallelohedra ⋮ A Computer Approach to Determine the Densest Translative Tetrahedron Packings ⋮ Density bounds for outer parallel domains of unit ball packings ⋮ The dodecahedral conjecture ⋮ A revision of the proof of the Kepler conjecture ⋮ Sphere packings revisited ⋮ Towards a proof of the 24-cell conjecture ⋮ An Approach to the Dodecahedral Conjecture Based on Bounds for Spherical Codes
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Coq
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- A formulation of the Kepler conjecture
- A new bound on the local density of sphere packings
- Isabelle. A generic theorem prover
- The status of the Kepler conjecture
- Rigorous global search: continuous problems
- Sphere packings. I
- Flyspeck II: The basic linear programs
- Über die dichteste Kugellagerung
- The Packing of Equal Spheres
- The dodecahedral conjecture
- Flyspeck I: Tame Graphs
- Formal Global Optimisation with Taylor Models
- Putting the Best Face on a Voronoi Polyhedron
- ON THE SPHERE PACKING PROBLEM AND THE PROOF OF KEPLER'S CONJECTURE
- Isoperimetric Inequalities and the Dodecahedral Conjecture
- On a stronger form of Roger's lemma and the minimum surface area of Voronoi cells in unit ball packings
This page was built for publication: The dodecahedral conjecture
