The Formal Proof of the Kepler Conjecture: a critical retrospective
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | Hales, Thomas |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Packings of Smoothed Polygons
par: Hales, Thomas, et autres
Publié: (2024)
par: Hales, Thomas, et autres
Publié: (2024)
Local Stability and Quantitative Bounds for the Betke-Henk-Wills Conjecture
par: Wang, Chao
Publié: (2026)
par: Wang, Chao
Publié: (2026)
Validity of the Strong Version of the Union of Uniform Closed Balls Conjecture in the Plane
par: Nour, Chadi, et autres
Publié: (2026)
par: Nour, Chadi, et autres
Publié: (2026)
Two new proofs of partial Godbersen's Conjecture
par: Cheng, Lin
Publié: (2024)
par: Cheng, Lin
Publié: (2024)
Bollobás-Meir TSP Conjecture Holds Asymptotically
par: Gordeev, Alexey
Publié: (2026)
par: Gordeev, Alexey
Publié: (2026)
On Talagrand's Convexity Conjecture
par: Hua, Dongming Merrick, et autres
Publié: (2026)
par: Hua, Dongming Merrick, et autres
Publié: (2026)
The Honeycomb Conjecture in normed planes and an alpha-convex variant of a theorem of Dowker
par: Lángi, Zsolt, et autres
Publié: (2024)
par: Lángi, Zsolt, et autres
Publié: (2024)
On a Conjecture on Sharygin Triangles
par: Osipov, Nikolay
Publié: (2024)
par: Osipov, Nikolay
Publié: (2024)
Non-diagonal critical central sections of the cube
par: Ambrus, Gergely, et autres
Publié: (2023)
par: Ambrus, Gergely, et autres
Publié: (2023)
Reducing the Large Set Threshold for Oertel's Conjecture on the Mixed-Integer Volume
par: Cristi, Andrés, et autres
Publié: (2024)
par: Cristi, Andrés, et autres
Publié: (2024)
The Lonely Runner Conjecture turns 60
par: Perarnau, Guillem, et autres
Publié: (2024)
par: Perarnau, Guillem, et autres
Publié: (2024)
Circular Isoptics in Flatland
par: Thomas, Alexander
Publié: (2025)
par: Thomas, Alexander
Publié: (2025)
Minkowski chirality: a measure of reflectional asymmetry of convex bodies
par: Caragea, Andrei, et autres
Publié: (2025)
par: Caragea, Andrei, et autres
Publié: (2025)
Translation invariant curvature measures of convex bodies
par: Schuhmacher, Jakob, et autres
Publié: (2026)
par: Schuhmacher, Jakob, et autres
Publié: (2026)
Small genus, small index critical points of the systole function
par: An, Ni, et autres
Publié: (2025)
par: An, Ni, et autres
Publié: (2025)
Korevaar-Schoen-Sobolev spaces and critical exponents in metric measure spaces
par: Baudoin, Fabrice
Publié: (2022)
par: Baudoin, Fabrice
Publié: (2022)
An Intersection Product for the Polytope Algebra
par: Wannerer, Thomas
Publié: (2025)
par: Wannerer, Thomas
Publié: (2025)
Sub-25-dimensional counterexamples to Borsuk's conjecture in the Leech lattice?
par: Jenrich, Thomas
Publié: (2023)
par: Jenrich, Thomas
Publié: (2023)
A Counterexample to Viterbo's Conjecture
par: Haim-Kislev, Pazit, et autres
Publié: (2024)
par: Haim-Kislev, Pazit, et autres
Publié: (2024)
First moments of a polyhedron clipped by a paraboloid
par: Evrard, Fabien, et autres
Publié: (2022)
par: Evrard, Fabien, et autres
Publié: (2022)
Multijet bundles and application to the finiteness of moments for zeros of Gaussian fields
par: Ancona, Michele, et autres
Publié: (2023)
par: Ancona, Michele, et autres
Publié: (2023)
Covering a square by congruent squares
par: Dósa, György, et autres
Publié: (2026)
par: Dósa, György, et autres
Publié: (2026)
The perimeter and volume of a Reuleaux polyhedron
par: Hynd, Ryan
Publié: (2023)
par: Hynd, Ryan
Publié: (2023)
Rectifiability of a class of integralgeometric measures and applications
par: Tasso, Emanuele
Publié: (2022)
par: Tasso, Emanuele
Publié: (2022)
Inverse semigroup of metrics on a double is fundamental
par: Manuilov, Vladimir
Publié: (2025)
par: Manuilov, Vladimir
Publié: (2025)
On Ceva's and Menelaus's Theorems for a Möbius triangle
par: Livinsky, Ivan
Publié: (2026)
par: Livinsky, Ivan
Publié: (2026)
The tangent cone, the dimension and the frontier of a medial axis
par: Białożyt, Adam
Publié: (2020)
par: Białożyt, Adam
Publié: (2020)
On a Blaschke-Santaló-type inequality for $r$-ball bodies
par: Bezdek, Károly
Publié: (2023)
par: Bezdek, Károly
Publié: (2023)
The Dyn-Farkhi conjecture and the convex hull of a sumset in two dimensions
par: Meyer, Mark
Publié: (2024)
par: Meyer, Mark
Publié: (2024)
On characteristic properties of the ellipsoid in terms of circumscribed cones of a convex body
par: Morales-Amaya, Efrén, et autres
Publié: (2024)
par: Morales-Amaya, Efrén, et autres
Publié: (2024)
An isometric immersion of a flat Klein bottle into Euclidean 3-space
par: Paul, Stepan
Publié: (2026)
par: Paul, Stepan
Publié: (2026)
A Characterization of the sphere and a body of revolution by means of Larman points
par: Alfonseca, María Angeles, et autres
Publié: (2023)
par: Alfonseca, María Angeles, et autres
Publié: (2023)
Hamilton-Jacobi equations involving a Caputo time-fractional derivative
par: Di Donato, Daniela
Publié: (2025)
par: Di Donato, Daniela
Publié: (2025)
On generalized disc-polygons in plane convex bodies with a higher degree of smoothness
par: Fodor, Ferenc, et autres
Publié: (2025)
par: Fodor, Ferenc, et autres
Publié: (2025)
A characterization of the ellipsoid in terms of pairs of sections associated by a harmonic homology
par: Morales-Amaya, Efrén
Publié: (2026)
par: Morales-Amaya, Efrén
Publié: (2026)
Fixed-Point Theorems in $b$-Metric Spaces via a Novel Simulation Function
par: Gupta, Anuradha, et autres
Publié: (2025)
par: Gupta, Anuradha, et autres
Publié: (2025)
Alberti representations, rectifiability of metric spaces and higher integrability of measures satisfying a PDE
par: Bate, David, et autres
Publié: (2025)
par: Bate, David, et autres
Publié: (2025)
Each generic polytope in $\mathbb{R}^3$ has a point with ten normals to the boundary
par: Nasonov, Ivan, et autres
Publié: (2024)
par: Nasonov, Ivan, et autres
Publié: (2024)
On the Gromov-Hausdorff distance between the cloud of bounded metric spaces and a cloud with nontrivial stabilizer
par: Nesterov, B. A.
Publié: (2025)
par: Nesterov, B. A.
Publié: (2025)
Uniqueness of the critical and supercritical Liouville quantum gravity metrics
par: Ding, Jian, et autres
Publié: (2021)
par: Ding, Jian, et autres
Publié: (2021)
Documents similaires
-
Packings of Smoothed Polygons
par: Hales, Thomas, et autres
Publié: (2024) -
Local Stability and Quantitative Bounds for the Betke-Henk-Wills Conjecture
par: Wang, Chao
Publié: (2026) -
Validity of the Strong Version of the Union of Uniform Closed Balls Conjecture in the Plane
par: Nour, Chadi, et autres
Publié: (2026) -
Two new proofs of partial Godbersen's Conjecture
par: Cheng, Lin
Publié: (2024) -
Bollobás-Meir TSP Conjecture Holds Asymptotically
par: Gordeev, Alexey
Publié: (2026)