| A proof of the Kepler conjecture TC Hales Annals of mathematics, 1065-1185, 2005 | 1364 | 2005 |
| The honeycomb conjecture TC Hales Discrete & computational geometry 25, 1-22, 2001 | 670 | 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 | 483 | 2017 |
| Sphere packings, I TC Hales The Kepler Conjecture: The Hales-Ferguson Proof, 379-431, 2011 | 339* | 2011 |
| Cannonballs and honeycombs TC Hales Notices of the AMS 47 (4), 440-449, 2000 | 288 | 2000 |
| Formal proof TC Hales Notices of the AMS 55 (11), 1370-1380, 2008 | 238 | 2008 |
| Historical overview of the Kepler conjecture TC Hales The Kepler Conjecture: The Hales-Ferguson Proof, 65-82, 2011 | 235 | 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 | 169 | 2011 |
| The Jordan curve theorem, formally and informally TC Hales The American Mathematical Monthly 114 (10), 882-894, 2007 | 169 | 2007 |
| The sphere packing problem TC Hales Journal of Computational and Applied Mathematics 44 (1), 41-76, 1992 | 152 | 1992 |
| Dat Tat Dang TC Hales, M Adams, G Bauer John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean …, 2015 | 147 | 2015 |
| Introduction to the Flyspeck project TC Hales Dagstuhl Seminar Proceedings, 2006 | 136 | 2006 |
| Dense sphere packings: a blueprint for formal proofs TC Hales Cambridge University Press, 2012 | 128 | 2012 |
| The status of the Kepler conjecture. TC Hales Mathematical Intelligencer 16 (3), 1994 | 111 | 1994 |
| An overview of the Kepler conjecture TC Hales arXiv preprint math/9811071, 1998 | 102 | 1998 |
| Jordan’s proof of the Jordan curve theorem TC Hales Studies in logic, grammar and rhetoric 10 (23), 45-60, 2007 | 89 | 2007 |
| On the fundamental lemma for standard endoscopy: reduction to unit elements TC Hales Canadian Journal of Mathematics 47 (5), 974-994, 1995 | 77 | 1995 |
| A simple definition of transfer factors for unramified groups TC Hales Representation theory of groups and algebras, 109-134, 1993 | 71 | 1993 |
| The dodecahedral conjecture T Hales, S McLaughlin Journal of the American Mathematical Society 23 (2), 299-344, 2010 | 60* | 2010 |
| Transfer principle for the fundamental lemma R Cluckers, T Hales, F Loeser arXiv preprint arXiv:0712.0708, 2007 | 60 | 2007 |
Tobias NipkowProfessor of Computer Science, Technische Universität MünchenEmail verificata su in.tum.de