A revision of the proof of the Kepler conjecture

Thomas Hales, John Harrison, Sean McLaughlin, Tobias Nipkow, Steven Obua, Roland Zumkeller

Type: Preprint

Publication Date: 2009-01-01

Citations: 0

DOI: https://doi.org/10.48550/arxiv.0902.0350

View Publication

Locations

arXiv (Cornell University) - View
DataCite API - View

Similar Works

Action	Title	Year	Authors
+ PDF Chat	The Formal Proof of the Kepler Conjecture: a critical retrospective	2024	Thomas Hales
+ PDF Chat	Historical Overview of the Kepler Conjecture	2006	Thomas Hales
+	The Kepler conjecture	1998	Thomas Hales
+	The Kepler conjecture	1998	Thomas C. Hales
+	A computer verification of the Kepler conjecture	2003	Thomas Hales
+	An overview of the Kepler conjecture	1998	Thomas C. Hales
+ PDF Chat	A Formulation of the Kepler Conjecture	2006	Thomas Hales Samuel P. Ferguson
+	Introduction to the Flyspeck Project.	2005	Thomas C. Hales
+	Introduction to the Flyspeck Project	2006	Thomas C. Hales
+	Dense Sphere Packings: A Blueprint for Formal Proofs	2012	Thomas C. Hales
+	On a Detail in Hales's "Dense Sphere Packings: A Blueprint for Formal Proofs"	2017	Nadja Scharf
+	Kepler's conjecture confirmed	1998	N. J. A. Sloane
+	On a Detail in Hales's "Dense Sphere Packings: A Blueprint for Formal Proofs"	2017	Nadja Scharf
+	Dense Sphere Packings	2012	Thomas C. Hales
+	A formulation of the Kepler conjecture	1998	Samuel P. Ferguson Thomas C. Hales
+	A formal proof of the Kepler conjecture	2015	Thomas Hales Mark Adams Gertrud Bauer Dat Tat Dang John Harrison Hoang Le Truong Cezary Kaliszyk Victor Magron Sean McLaughlin Thang Tat Nguyen
+	A formal proof of the Kepler conjecture	2015	Thomas Hales Mark Raymond Adams Gertrud Bauer Dat Tat Dang John Harrison Hoang Le Truong Cezary Kaliszyk Victor Magron S. McLaughlin Thang Tat Nguyen
+ PDF Chat	A FORMAL PROOF OF THE KEPLER CONJECTURE	2017	Thomas Hales Mark Adams Gertrud Bauer TAT DAT DANG John Harrison Hoang Le Truong Cezary Kaliszyk Victor Magron Sean McLaughlin TAT THANG NGUYEN
+	A Proof of the Kepler’s Conjecture	2014	Tianshu Zhang
+ PDF Chat	External Tools for the Formal Proof of the Kepler Conjecture	2018	Thomas C. Hales

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (0)

Action	Title	Year	Authors