| A proof of the Kepler conjecture TC Hales Annals of mathematics, 1065-1185, 2005 | 1449 | 2005 |
| The honeycomb conjecture TC Hales Discrete & computational geometry 25 (1), 1-22, 2001 | 738 | 2001 |
| A formal proof of the Kepler conjecture T Hales, M Adams, G Bauer, TD Dang, J Harrison, LT Hoang, C Kaliszyk, ... Forum of mathematics, Pi 5, e2, 2017 | 555 | 2017 |
| Sphere packings, I TC Hales The Kepler Conjecture: The Hales-Ferguson Proof, 379-431, 2011 | 359* | 2011 |
| Cannonballs and honeycombs TC Hales Notices of the AMS 47 (4), 440-449, 2000 | 289 | 2000 |
| Formal proof TC Hales Notices of the AMS 55 (11), 1370-1380, 2008 | 253 | 2008 |
| Historical overview of the Kepler conjecture TC Hales The Kepler Conjecture: The Hales-Ferguson Proof, 65-82, 2011 | 244 | 2011 |
| 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 | 177 | 2011 |
| The Jordan curve theorem, formally and informally TC Hales The American Mathematical Monthly 114 (10), 882-894, 2007 | 174 | 2007 |
| Dat Tat Dang TC Hales, M Adams, G Bauer John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean …, 2015 | 164 | 2015 |
| The sphere packing problem TC Hales Journal of Computational and Applied Mathematics 44 (1), 41-76, 1992 | 156 | 1992 |
| Introduction to the Flyspeck project TC Hales Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2006 | 140 | 2006 |
| Dense sphere packings: a blueprint for formal proofs TC Hales Cambridge University Press, 2012 | 131 | 2012 |
| An overview of the Kepler conjecture TC Hales arXiv preprint math/9811071, 1998 | 116 | 1998 |
| The status of the Kepler conjecture TC Hales The mathematical intelligencer 16 (3), 47-58, 1994 | 107 | 1994 |
| Jordan’s proof of the Jordan curve theorem TC Hales Studies in logic, grammar and rhetoric 10 (23), 45-60, 2007 | 96 | 2007 |
| On the fundamental lemma for standard endoscopy: reduction to unit elements TC Hales Canadian Journal of Mathematics 47 (5), 974-994, 1995 | 84 | 1995 |
| A simple definition of transfer factors for unramified groups TC Hales Representation theory of groups and algebras, 109-134, 1993 | 74 | 1993 |
| Transfer principle for the fundamental lemma R Cluckers, T Hales, F Loeser arXiv preprint arXiv:0712.0708, 2007 | 64 | 2007 |
| The dodecahedral conjecture T Hales, S McLaughlin Journal of the American Mathematical Society 23 (2), 299-344, 2010 | 63* | 2010 |
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenVerified email at in.tum.de
