Follow
Thomas Hales
Title
Cited by
Cited by
Year
A proof of the Kepler conjecture
TC Hales
Annals of mathematics, 1065-1185, 2005
11772005
The honeycomb conjecture
TC Hales
Discrete & Computational Geometry 25 (1), 1-22, 2001
5542001
A formal proof of the Kepler conjecture
T Hales, M Adams, G Bauer, TD Dang, J Harrison, H Le Truong, ...
Forum of mathematics, Pi 5, 2017
3422017
Sphere packings, I
TC Hales
The Kepler Conjecture, 379-431, 2011
313*2011
Cannonballs and honeycombs
TC Hales
Notices of the American Mathematical Society 47, 440-449, 2000
2662000
Historical overview of the Kepler conjecture
TC Hales
The Kepler Conjecture, 65-82, 2011
2042011
Formal proof
TC Hales
Notices of the AMS 55 (11), 1370-1380, 2008
1972008
A revision of the proof of the Kepler conjecture
TC Hales, J Harrison, S McLaughlin, T Nipkow, S Obua, R Zumkeller
The Kepler Conjecture, 341-376, 2011
1542011
The Jordan curve theorem, formally and informally
TC Hales
The American Mathematical Monthly 114 (10), 882-894, 2007
1502007
The sphere packing problem
TC Hales
Journal of Computational and Applied Mathematics 44 (1), 41-76, 1992
1341992
Introduction to the Flyspeck project
TC Hales
Dagstuhl Seminar Proceedings, 2006
1262006
Dense sphere packings: a blueprint for formal proofs
T Hales, TC Hales
Cambridge University Press, 2012
1132012
The status of the Kepler conjecture
TC Hales
The mathematical intelligencer 16 (3), 47-58, 1994
1041994
An overview of the Kepler conjecture
TC Hales
arXiv preprint math/9811071, 1998
911998
Dat Tat Dang
TC Hales, M Adams, G Bauer
John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean …, 2017
812017
Jordan’s proof of the Jordan curve theorem
TC Hales
Studies in logic, grammar and rhetoric 10 (23), 45-60, 2007
812007
On the fundamental lemma for standard endoscopy: reduction to unit elements
TC Hales
Canadian Journal of Mathematics 47 (5), 974-994, 1995
731995
A simple definition of transfer factors for unramified groups
TC Hales
Representation theory of groups and algebras, 109-134, 1993
621993
Transfer principle for the fundamental lemma
R Cluckers, T Hales, F Loeser
arXiv preprint arXiv:0712.0708, 2007
612007
The dodecahedral conjecture
T Hales, S McLaughlin
Journal of the American Mathematical Society 23 (2), 299-344, 2010
57*2010
The system can't perform the operation now. Try again later.
Articles 1–20