| A proof of the Kepler conjecture TC Hales Annals of mathematics, 1065-1185, 2005 | 1201 | 2005 |
| The honeycomb conjecture TC Hales Discrete & computational geometry 25, 1-22, 2001 | 572 | 2001 |
| 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 | 354 | 2017 |
| Sphere packings, I TC Hales Discrete & Computational Geometry 17, 1-51, 1997 | 317* | 1997 |
| Cannonballs and honeycombs TC Hales Notices of the American Mathematical Society 47, 440-449, 2000 | 272 | 2000 |
| Historical overview of the Kepler conjecture TC Hales Discrete & Computational Geometry 36, 5-20, 2006 | 212 | 2006 |
| Formal proof TC Hales Notices of the AMS 55 (11), 1370-1380, 2008 | 201 | 2008 |
| The Jordan curve theorem, formally and informally TC Hales The American Mathematical Monthly 114 (10), 882-894, 2007 | 156 | 2007 |
| 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 | 153 | 2011 |
| The sphere packing problem TC Hales Journal of Computational and Applied Mathematics 44 (1), 41-76, 1992 | 141 | 1992 |
| Introduction to the Flyspeck project TC Hales Dagstuhl Seminar Proceedings, 2006 | 127 | 2006 |
| Dense sphere packings: a blueprint for formal proofs T Hales, TC Hales Cambridge University Press, 2012 | 115 | 2012 |
| The status of the Kepler conjecture TC Hales The mathematical intelligencer 16, 47-58, 1994 | 106 | 1994 |
| An overview of the Kepler conjecture TC Hales arXiv preprint math/9811071, 1998 | 94 | 1998 |
| Jordan’s proof of the Jordan curve theorem TC Hales Studies in logic, grammar and rhetoric 10 (23), 45-60, 2007 | 83 | 2007 |
| Dat Tat Dang TC Hales, M Adams, G Bauer John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean …, 2017 | 82 | 2017 |
| On the fundamental lemma for standard endoscopy: reduction to unit elements TC Hales Canadian Journal of Mathematics 47 (5), 974-994, 1995 | 73 | 1995 |
| A simple definition of transfer factors for unramified groups TC Hales Representation theory of groups and algebras, 109-134, 1993 | 65 | 1993 |
| Transfer principle for the fundamental lemma R Cluckers, T Hales, F Loeser arXiv preprint arXiv:0712.0708, 2007 | 61 | 2007 |
| The dodecahedral conjecture T Hales, S McLaughlin Journal of the American Mathematical Society 23 (2), 299-344, 2010 | 58* | 2010 |
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
