עקוב אחר
Thomas Hales
Thomas Hales
כתובת אימייל מאומתת בדומיין pitt.edu
כותרת
צוטט על ידי
צוטט על ידי
שנה
A proof of the Kepler conjecture
TC Hales
Annals of mathematics, 1065-1185, 2005
13802005
The honeycomb conjecture
TC Hales
Discrete & computational geometry 25, 1-22, 2001
6812001
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, e2, 2017
5042017
Sphere packings, I
TC Hales
The Kepler Conjecture: The Hales-Ferguson Proof, 379-431, 2011
341*2011
Cannonballs and honeycombs
TC Hales
Notices of the AMS 47 (4), 440-449, 2000
2832000
Formal proof
TC Hales
Notices of the AMS 55 (11), 1370-1380, 2008
2482008
Historical overview of the Kepler conjecture
TC Hales
The Kepler Conjecture: The Hales-Ferguson Proof, 65-82, 2011
2422011
A revision of the proof of the Kepler conjecture
TC Hales, J Harrison, S McLaughlin, T Nipkow, S Obua, R Zumkeller
The Kepler Conjecture: The Hales-Ferguson Proof, 341-376, 2011
1712011
The Jordan curve theorem, formally and informally
TC Hales
The American Mathematical Monthly 114 (10), 882-894, 2007
1702007
The sphere packing problem
TC Hales
Journal of Computational and Applied Mathematics 44 (1), 41-76, 1992
1521992
Introduction to the Flyspeck project
TC Hales
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2006
1362006
Dense sphere packings: a blueprint for formal proofs
TC Hales
Cambridge University Press, 2012
1282012
The status of the Kepler conjecture.
TC Hales
Mathematical Intelligencer 16 (3), 1994
1101994
Dat Tat Dang
TC Hales, M Adams, G Bauer
John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean …, 2015
1062015
An overview of the Kepler conjecture
TC Hales
arXiv preprint math/9811071, 1998
1011998
Jordan’s proof of the Jordan curve theorem
TC Hales
Studies in logic, grammar and rhetoric 10 (23), 45-60, 2007
902007
On the fundamental lemma for standard endoscopy: reduction to unit elements
TC Hales
Canadian Journal of Mathematics 47 (5), 974-994, 1995
791995
A simple definition of transfer factors for unramified groups
TC Hales
Representation theory of groups and algebras, 109-134, 1993
711993
Transfer principle for the fundamental lemma
R Cluckers, T Hales, F Loeser
arXiv preprint arXiv:0712.0708, 2007
632007
The dodecahedral conjecture
T Hales, S McLaughlin
Journal of the American Mathematical Society 23 (2), 299-344, 2010
58*2010
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20