Cover Image

The Formal Proof of the Kepler Conjecture: a critical retrospective

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Hales, Thomas
Format:	Preprint
Published:	2024
Subjects:	Metric Geometry
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Packings of Smoothed Polygons
by: Hales, Thomas, et al.
Published: (2024)

Local Stability and Quantitative Bounds for the Betke-Henk-Wills Conjecture
by: Wang, Chao
Published: (2026)

Validity of the Strong Version of the Union of Uniform Closed Balls Conjecture in the Plane
by: Nour, Chadi, et al.
Published: (2026)

Two new proofs of partial Godbersen's Conjecture
by: Cheng, Lin
Published: (2024)

Bollobás-Meir TSP Conjecture Holds Asymptotically
by: Gordeev, Alexey
Published: (2026)

On Talagrand's Convexity Conjecture
by: Hua, Dongming Merrick, et al.
Published: (2026)

The Honeycomb Conjecture in normed planes and an alpha-convex variant of a theorem of Dowker
by: Lángi, Zsolt, et al.
Published: (2024)

On a Conjecture on Sharygin Triangles
by: Osipov, Nikolay
Published: (2024)

Non-diagonal critical central sections of the cube
by: Ambrus, Gergely, et al.
Published: (2023)

Reducing the Large Set Threshold for Oertel's Conjecture on the Mixed-Integer Volume
by: Cristi, Andrés, et al.
Published: (2024)

The Lonely Runner Conjecture turns 60
by: Perarnau, Guillem, et al.
Published: (2024)

Circular Isoptics in Flatland
by: Thomas, Alexander
Published: (2025)

Minkowski chirality: a measure of reflectional asymmetry of convex bodies
by: Caragea, Andrei, et al.
Published: (2025)

Translation invariant curvature measures of convex bodies
by: Schuhmacher, Jakob, et al.
Published: (2026)

Small genus, small index critical points of the systole function
by: An, Ni, et al.
Published: (2025)

Korevaar-Schoen-Sobolev spaces and critical exponents in metric measure spaces
by: Baudoin, Fabrice
Published: (2022)

An Intersection Product for the Polytope Algebra
by: Wannerer, Thomas
Published: (2025)

Sub-25-dimensional counterexamples to Borsuk's conjecture in the Leech lattice?
by: Jenrich, Thomas
Published: (2023)

A Counterexample to Viterbo's Conjecture
by: Haim-Kislev, Pazit, et al.
Published: (2024)

First moments of a polyhedron clipped by a paraboloid
by: Evrard, Fabien, et al.
Published: (2022)

Multijet bundles and application to the finiteness of moments for zeros of Gaussian fields
by: Ancona, Michele, et al.
Published: (2023)

Covering a square by congruent squares
by: Dósa, György, et al.
Published: (2026)

The perimeter and volume of a Reuleaux polyhedron
by: Hynd, Ryan
Published: (2023)

Rectifiability of a class of integralgeometric measures and applications
by: Tasso, Emanuele
Published: (2022)

Inverse semigroup of metrics on a double is fundamental
by: Manuilov, Vladimir
Published: (2025)

On Ceva's and Menelaus's Theorems for a Möbius triangle
by: Livinsky, Ivan
Published: (2026)

The tangent cone, the dimension and the frontier of a medial axis
by: Białożyt, Adam
Published: (2020)

On a Blaschke-Santaló-type inequality for $r$-ball bodies
by: Bezdek, Károly
Published: (2023)

The Dyn-Farkhi conjecture and the convex hull of a sumset in two dimensions
by: Meyer, Mark
Published: (2024)

On characteristic properties of the ellipsoid in terms of circumscribed cones of a convex body
by: Morales-Amaya, Efrén, et al.
Published: (2024)

An isometric immersion of a flat Klein bottle into Euclidean 3-space
by: Paul, Stepan
Published: (2026)

A Characterization of the sphere and a body of revolution by means of Larman points
by: Alfonseca, María Angeles, et al.
Published: (2023)

Hamilton-Jacobi equations involving a Caputo time-fractional derivative
by: Di Donato, Daniela
Published: (2025)

On generalized disc-polygons in plane convex bodies with a higher degree of smoothness
by: Fodor, Ferenc, et al.
Published: (2025)

A characterization of the ellipsoid in terms of pairs of sections associated by a harmonic homology
by: Morales-Amaya, Efrén
Published: (2026)

Fixed-Point Theorems in $b$-Metric Spaces via a Novel Simulation Function
by: Gupta, Anuradha, et al.
Published: (2025)

Alberti representations, rectifiability of metric spaces and higher integrability of measures satisfying a PDE
by: Bate, David, et al.
Published: (2025)

Each generic polytope in $\mathbb{R}^3$ has a point with ten normals to the boundary
by: Nasonov, Ivan, et al.
Published: (2024)

On the Gromov-Hausdorff distance between the cloud of bounded metric spaces and a cloud with nontrivial stabilizer
by: Nesterov, B. A.
Published: (2025)

Uniqueness of the critical and supercritical Liouville quantum gravity metrics
by: Ding, Jian, et al.
Published: (2021)