A formulation of the Kepler conjecture

DOI10.1007/S00454-005-1211-1MaRDI QIDQ734997zbMATH OpenOpenAlexWikidataFDO

Authors Thomas C. Hales, Samuel P. Ferguson

Publication date 14 October 2009

Published in Discrete \& Computational Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9811072

zbMATH Keywords

ball packingsKepler conjecture

Mathematics Subject Classification ID

Packing and covering in (n) dimensions (aspects of discrete geometry) (52C17) Combinatorial aspects of packing and covering (05B40) Lattice packing and covering (number-theoretic aspects) (11H31)

Abstract: This is the second in a series of papers 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 $pi/sqrt18approx\mathrm{0.74048...}$. 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 defines a local formulation of the conjecture which is used in the proof.

Recommendations

• Sphere packings. III: Extremal cases
• Sphere packings. IV: Detailed bounds
• Sphere packings. VI: Tame graphs and linear programs
• Study of the Kepler's conjecture: the problem of the closest packing
• A proof of the Kepler conjecture

Cited in

(29)

• scientific article; zbMATH DE number 7444175 (Why is no real title available?)
• scientific article; zbMATH DE number 1789934 (Why is no real title available?)
• A formal proof of the Kepler conjecture
• Cannonballs and honeycombs.
• Kepler's conjecture and the dodecahedral conjecture
• Historical overview of the Kepler conjecture
• Study of the Kepler's conjecture: the problem of the closest packing
• Sphere packings. IV: Detailed bounds
• Sphere packings. V: Pentahedral prisms
• Sphere packings. VI: Tame graphs and linear programs
• Approximation schemes under resource augmentation for knapsack and packing problems of hyperspheres and other shapes
• The dodecahedral conjecture
• Flyspeck II: The basic linear programs
• kepler98
• On packing spheres into containers
• Towards a proof of the 24-cell conjecture
• A note on the Kepler problem
• A proof of the Kepler conjecture
• Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL
• ON THE SPHERE PACKING PROBLEM AND THE PROOF OF KEPLER'S CONJECTURE
• Sphere packings. III: Extremal cases
• The art of unlocking
• Kepler's Spheres and Rubik's Cube
• Theorem Proving in Higher Order Logics
• Validating Kepler's conjecture: A new approach
• Placing your coins on a shelf
• ON A STRONG VERSION OF THE KEPLER CONJECTURE
• Conformal triality of the Kepler problem
• Proof auditing formalised mathematics

This page was built for publication: A formulation of the Kepler conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q734997)