A proof of the Kepler conjecture

2005/11/01 by Thomas Hales · 47 citations
Mathematics · Physics and Astronomy · #Mathematics and Applications #Advanced Mathematical Theories and Applications #History and Developments in Astronomy

paper · pdf · doi:10.4007/annals.2005.162.1065

Cited by

• Sphere Packing in Dimensions 39 and 43 from the Antipode Construction
• Mathematical methods and human thought in the age of AI
• Topology Control and Network Lifetime in Three-Dimensional Wireless Sensor Networks
• Computing Persistent Homology within Coq/SSReflect
• Probabilistic combinatorics at exponentially small scales
• Formal Proofs for Nonlinear Optimization
• NLCertify: A Tool for Formal Nonlinear Optimization
• Constructions in combinatorics via neural networks
• Sphere Packing with Limited Overlap
• The extended Smale's 9th problem -- On computational barriers and\n paradoxes in estimation, regularisation, computer-assisted proofs and\n learning
• Direct observation of 3D atomic packing in monatomic amorphous materials
• The entrywise calculus and dimension-free positivity preservers, with an Appendix on sphere packings
• Controlling the Size of Nanoparticles Using a Magnetic Field: A Sphere Packing Approach
• Towards a Verified Enumeration of All Tame Plane Graphs
• Space-filling discrete helices
• Conic optimization for extremal geometry
• A contractible Schiffer counterexample on the half-sphere
• A Theoretical Computer Science Perspective on Consciousness and Artificial General Intelligence
• Pressure-driven solid–solid phase transformations of isotropic particles across diverse crystal structure types
• A short survey on almost orthogonal vectors in a few specific large dimensions
• Convergence to the exact kinetics of the one-dimensional Riviera model
• Isoperimetric problems for zonotopes
• Percolative properties of the random coprime colouring
• Air-to-Air Communications Beyond 5G: A Novel 3D CoMP Transmission Scheme
• The lattice packing problem in dimension 9 by Voronoi's algorithm
• High-density hard-core model on triangular and hexagonal lattices
• Functionals on the Spaces of n-Dimensional Convex Bodies
• Applying Practice to Theory
• Spiral search: a hydrophobic-core directed local search for simplified PSP on 3D FCC lattice. [europepmc]
• Three-dimensional periodic complex structures in soft matter: investigation using scattering methods. [europepmc]
• The topology of fullerenes. [europepmc]
• Probable nature of higher-dimensional symmetries underlying mammalian grid-cell activity patterns. [europepmc]
• Particulate Coatings via Evaporation-Induced Self-Assembly of Polydisperse Colloidal Lignin on Solid Interfaces. [europepmc]
• Filling of Irregular Channels with Round Cross-Section: Modeling Aspects to Study the Properties of Porous Materials. [europepmc]
• Universal hidden order in amorphous cellular geometries. [europepmc]
• Basic Principles of Emulsion Templating and Its Use as an Emerging Manufacturing Method of Tissue Engineering Scaffolds. [europepmc]
• Saturation Mutagenesis of the Transmembrane Region of HokC in Escherichia coli Reveals Its High Tolerance to Mutations. [europepmc]
• Simu-D: A Simulator-Descriptor Suite for Polymer-Based Systems under Extreme Conditions. [europepmc]
• Highly scalable maximum likelihood and conjugate Bayesian inference for ERGMs on graph sets with equivalent vertices. [europepmc]
• Influence of the Addition of Alumina Nanofibers on the Strength of Epoxy Resins. [europepmc]
• Physical, Thermal, and Chemical Properties of Fly Ash Cenospheres Obtained from Different Sources. [europepmc]
• The rule of four: anomalous distributions in the stoichiometries of inorganic compounds. [europepmc]
• The Knowns and Unknowns of Membrane Features and Changes During Autophagosome-Lysosome/Vacuole Fusion. [europepmc]
• A memory model of rodent spatial navigation in which place cells are memories arranged in a grid and grid cells are non-spatial. [europepmc]
• Controlling the size of nanoparticles using a magnetic field: a sphere packing approach. [europepmc]
• Numerical Investigation of Fluid Flow Through Glass Sphere Packed Bed Representative of High-Porosity Permeable Concrete. [europepmc]
• Error Resilient Space Partitioning. [europepmc]