A formulation of the Kepler conjecture

DOI10.1007/S00454-005-1211-1zbMATH Open1186.52014arXivmath/9811072OpenAlexW2093269009WikidataQ55966477 ScholiaQ55966477MaRDI QIDQ734997FDOQ734997

Authors: Thomas C. Hales, Samuel P. Ferguson 

Publication date: 14 October 2009

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

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.

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

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

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)

Cited In (29)

• Flyspeck II: The basic linear programs
• Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL
• Title not available (Why is that?)
• Cannonballs and honeycombs.
• Towards a proof of the 24-cell conjecture
• A proof of the Kepler conjecture
• Sphere packings. III: Extremal cases
• Approximation schemes under resource augmentation for knapsack and packing problems of hyperspheres and other shapes
• A formal proof of the Kepler conjecture
• ON A STRONG VERSION OF THE KEPLER CONJECTURE
• Conformal triality of the Kepler problem
• The art of unlocking
• The dodecahedral conjecture
• ON THE SPHERE PACKING PROBLEM AND THE PROOF OF KEPLER'S 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
• Validating Kepler's conjecture: A new approach
• Title not available (Why is that?)
• Kepler's conjecture and the dodecahedral conjecture
• kepler98
• Theorem Proving in Higher Order Logics
• On packing spheres into containers
• A note on the Kepler problem
• Placing your coins on a shelf
• Historical overview of the Kepler conjecture
• Kepler's Spheres and Rubik's Cube
• 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)