The dodecahedral conjecture
From MaRDI portal
Abstract: The dodecahedral conjecture states that the volume of the Voronoi polyhedron of a sphere in a packing of equal spheres is at least the volume of a regular dodecahedron with inradius 1. The authors prove the conjecture following the methodology of the proof the Kepler conjecture. (See math.MG/9811071.)
Recommendations
- Isoperimetric Inequalities and the Dodecahedral Conjecture
- On L. Fejes Tóth's sausage-conjecture
- An approach to the dodecahedral conjecture based on bounds for spherical codes
- The strong dodecahedral conjecture and Fejes Tóth's conjecture on sphere packings with kissing number twelve
- Putting the Best Face on a Voronoi Polyhedron
Cites work
- A formulation of the Kepler conjecture
- A new bound on the local density of sphere packings
- Coq
- Flyspeck I: Tame Graphs
- Flyspeck II: The basic linear programs
- Formal Global Optimisation with Taylor Models
- scientific article; zbMATH DE number 3880009 (Why is no real title available?)
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 274399 (Why is no real title available?)
- scientific article; zbMATH DE number 3217531 (Why is no real title available?)
- scientific article; zbMATH DE number 5066287 (Why is no real title available?)
- scientific article; zbMATH DE number 3278003 (Why is no real title available?)
- scientific article; zbMATH DE number 2209729 (Why is no real title available?)
- scientific article; zbMATH DE number 3083197 (Why is no real title available?)
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Isabelle. A generic theorem prover
- 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
- ON THE SPHERE PACKING PROBLEM AND THE PROOF OF KEPLER'S CONJECTURE
- Putting the Best Face on a Voronoi Polyhedron
- Rigorous global search: continuous problems
- Sphere packings. I
- The dodecahedral conjecture
- The Packing of Equal Spheres
- The status of the Kepler conjecture
- Über die dichteste Kugellagerung
Cited in
(18)- An isoperimetric problem for three-dimensional parallelohedra
- Kepler's conjecture and the dodecahedral conjecture
- Sphere packings revisited
- Finding the best face on a Voronoi polyhedron -- the strong dodecahedral conjecture revisited
- An approach to the dodecahedral conjecture based on bounds for spherical codes
- The strong dodecahedral conjecture and Fejes Tóth's conjecture on sphere packings with kissing number twelve
- The Martin Gardner Polytopes
- The dodecahedral conjecture
- The Hexagonal Honeycomb Conjecture
- Isoperimetric Inequalities and the Dodecahedral Conjecture
- The small stellated dodecahedron code and friends
- Density bounds for outer parallel domains of unit ball packings
- On a stronger form of Roger's lemma and the minimum surface area of Voronoi cells in unit ball packings
- A computer approach to determine the densest translative tetrahedron packings
- High-fugacity expansion and crystallization in non-sliding hard-core lattice particle models without a tiling constraint
- Towards a proof of the 24-cell conjecture
- Bounds on the geometric complexity of optimal centroidal Voronoi tesselations in 3D
- A revision of the proof of the Kepler conjecture
This page was built for publication: The dodecahedral conjecture
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3584349)
