A formulation of the Kepler conjecture

DOI10.1007/s00454-005-1211-1zbMath1186.52014arXivmath/9811072OpenAlexW2093269009WikidataQ55966477 ScholiaQ55966477MaRDI QIDQ734997

Samuel P. Ferguson, Thomas C. Hales

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) Lattice packing and covering (number-theoretic aspects) (11H31) Combinatorial aspects of packing and covering (05B40)

Related Items

A FORMAL PROOF OF THE KEPLER CONJECTURE ⋮ Flyspeck II: The basic linear programs ⋮ ON A STRONG VERSION OF THE KEPLER CONJECTURE ⋮ The dodecahedral conjecture ⋮ Towards a proof of the 24-cell conjecture ⋮ Placing your Coins on a Shelf ⋮ kepler98 ⋮ Proof Auditing Formalised Mathematics ⋮ Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL