The Kepler Conjecture

DOI10.1007/978-1-4614-1129-1MaRDI QIDQ3094959zbMATH OpenOpenAlexFDO

Authors

Publication date 27 October 2011

Full work available at URL https://doi.org/10.1007/978-1-4614-1129-1

zbMATH Keywords

densest ball packingKepler conjecture

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to convex and discrete geometry (52-06) Lattices and convex bodies in (n) dimensions (aspects of discrete geometry) (52C07) Packing and covering in (n) dimensions (aspects of discrete geometry) (52C17) Arrangements of points, flats, hyperplanes (aspects of discrete geometry) (52C35) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• scientific article; zbMATH DE number 2209729
• A revision of the proof of the Kepler conjecture
• ON A STRONG VERSION OF THE KEPLER CONJECTURE
• ON THE SPHERE PACKING PROBLEM AND THE PROOF OF KEPLER'S CONJECTURE
• scientific article; zbMATH DE number 1101562
• Linear Programs for the Kepler Conjecture
• Kepler's conjecture and the dodecahedral conjecture
• The O(1)-Kepler problems
• A formal proof of the Kepler conjecture
• A proof of the Kepler conjecture

Cited in

(24)

• A rejoinder to Hale's article
• The status of the Kepler conjecture
• From Kepler to Hales, and back to Hilbert
• Long shortest vectors in low dimensional lattices
• Formalizing a fragment of combinatorics on words
• Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL
• Phases of granular matter
• On the translative packing densities of tetrahedra and cuboctahedra
• A proof of the Kepler conjecture
• Dense sphere packings. A blueprint for formal proofs
• kepler98
• Kepler's conjecture. How some of the greatest minds in history helped solve one of the oldest math problems in the world. Transl. from the English by Manfred Stern
• Quasicrystals: the view from Stockholm
• scientific article; zbMATH DE number 1464669 (Why is no real title available?)
• scientific article; zbMATH DE number 1751949 (Why is no real title available?)
• Critical configurations of solid bodies and the Morse theory of min functions
• A formal proof of the Kepler conjecture
• Theorem Proving in Higher Order Logics
• On the Optimal Conductivity of Packed Two-Dimensional Dispersed Composites
• Packing unequal disks in the Euclidean plane
• Improved approximation algorithms for three-dimensional knapsack
• Historical overview of the Kepler conjecture
• On packing spheres into containers
• A revision of the proof of the Kepler conjecture

This page was built for publication: The Kepler Conjecture

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