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