Edit Profile Hales, Thomas Callister Compute Distance To: Compute Author ID: hales.thomas-c Published as: Hales, T. C.; Hales, Thomas; Hales, Thomas C. External Links: MGP · Wikidata · dblp · GND Member of Collective: the-univalent-foundations-program. Documents Indexed: 51 Publications since 1989, including 2 Books Biographic References: 2 Publications all top 5 Co-Authors 41 single-authored 3 McLaughlin, Sean 2 Gordon, Julia 2 Nipkow, Tobias 2 Obua, Steven 2 Solovyev, Alexey 2 Zumkeller, Roland 1 Adams, Mark 1 Alexanderson, Gerald L. 1 Bauer, Gertrud 1 Casselman, William A. 1 Cely, Jorge E. 1 Cohen, Charles J. 1 Cunningham, Clifton L. R. 1 Dang, Tat Dat 1 Diamond, Harold George 1 Ferguson, Samuel P. 1 Harrison, John 1 Harrison, John W. 1 Hejhal, Dennis A. 1 Hoang, Le Truong 1 Kaliszyk, Cezary 1 Kolountzakis, Mihail N. 1 Macintyre, Angus John 1 Magron, Victor 1 Nguyen, Quang Truong 1 Nguyen, Tat Thang 1 Pleso, Joseph 1 Rute, Jason 1 Sarnak, Peter Clive 1 Shelah, Saharon 1 Ta Thi Hoai An 1 Thompson, John Griggs 1 Tran, Nam Trung 1 Trieu, Thi Diep 1 Urban, Josef 1 Vardi, Ilan 1 Vu, Ky Minh all top 5 Serials 9 Discrete & Computational Geometry 5 Notices of the American Mathematical Society 2 American Journal of Mathematics 2 Proceedings of the American Mathematical Society 2 Representation Theory 1 American Mathematical Monthly 1 The Mathematical Intelligencer 1 Canadian Journal of Mathematics 1 Duke Mathematical Journal 1 Journal of Computational and Applied Mathematics 1 Memoirs of the American Mathematical Society 1 Transactions of the American Mathematical Society 1 Combinatorica 1 Journal of the American Mathematical Society 1 Pokroky Matematiky, Fyziky & Astronomie 1 Bulletin of the American Mathematical Society. New Series 1 Vietnam Journal of Mathematics 1 Annals of Mathematics. Second Series 1 London Mathematical Society Lecture Note Series 1 Forum of Mathematics, Pi all top 5 Fields 24 Convex and discrete geometry (52-XX) 16 Number theory (11-XX) 16 Topological groups, Lie groups (22-XX) 10 Computer science (68-XX) 8 Combinatorics (05-XX) 7 Mathematical logic and foundations (03-XX) 5 History and biography (01-XX) 5 Algebraic geometry (14-XX) 4 Group theory and generalizations (20-XX) 2 Operations research, mathematical programming (90-XX) 1 Abstract harmonic analysis (43-XX) 1 Geometry (51-XX) 1 Manifolds and cell complexes (57-XX) 1 Numerical analysis (65-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 43 Publications have been cited 437 times in 335 Documents Cited by ▼ Year ▼ A proof of the Kepler conjecture. Zbl 1096.52010Hales, Thomas C. 99 2005 The Jordan curve theorem, formally and informally. Zbl 1137.03305Hales, Thomas C. 62 2007 The honeycomb conjecture. Zbl 1007.52008Hales, T. C. 40 2001 On the fundamental lemma for standard endoscopy: reduction to unit elements. Zbl 0840.22032Hales, Thomas C. 20 1995 A simple definition of transfer factors for unramified groups. Zbl 0828.22015Hales, Thomas C. 16 1993 Dense sphere packings. A blueprint for formal proofs. Zbl 1263.52001Hales, Thomas C. 14 2012 A revision of the proof of the Kepler conjecture. Zbl 1195.52004Hales, Thomas C.; Harrison, John; McLaughlin, Sean; Nipkow, Tobias; Obua, Steven; Zumkeller, Roland 14 2010 Formal proof. Zbl 1188.68002Hales, Thomas C. 13 2008 A formal proof of the Kepler conjecture. Zbl 1379.52018Hales, Thomas; Adams, Mark; Bauer, Gertrud; Dang, Tat Dat; Harrison, John; Hoang, Le Truong; Kaliszyk, Cezary; Magron, Victor; McLaughlin, Sean; Nguyen, Tat Thang; Nguyen, Quang Truong; Nipkow, Tobias; Obua, Steven; Pleso, Joseph; Rute, Jason; Solovyev, Alexey; Ta, Thi Hoai An; Tran, Nam Trung; Trieu, Thi Diep; Urban, Josef; Vu, Ky; Zumkeller, Roland 11 2017 Cannonballs and honeycombs. Zbl 1040.52012Hales, Thomas C. 11 2000 The sphere packing problem. Zbl 0770.52009Hales, Thomas C. 11 1992 Formalizing the proof of the Kepler conjecture. Zbl 1099.68725Hales, Thomas 9 2004 A formulation of the Kepler conjecture. Zbl 1186.52014Hales, Thomas C.; Ferguson, Samuel P. 8 2006 What is motivic measure? Zbl 1081.14033Hales, Thomas C. 8 2005 Unipotent representations and unipotent classes in \(SL(N)\). Zbl 0810.22008Hales, Thomas C. 8 1993 Historical overview of the Kepler conjecture. Zbl 1186.52010Hales, Thomas C. 7 2006 Sphere packings. I. Zbl 0883.52012Hales, T. C. 7 1997 The status of the Kepler conjecture. Zbl 0844.52018Hales, Thomas C. 7 1994 Endoscopic transfer of orbital integrals in large residual characteristic. Zbl 1358.11062Gordon, Julia; Hales, Thomas 6 2016 Good orbital integrals. Zbl 1054.22016Cunningham, Clifton; Hales, Thomas C. 6 2004 The dodecahedral conjecture. Zbl 1207.52017Hales, Thomas C.; McLaughlin, Sean 5 2010 Can \(p\)-adic integrals be computed? Zbl 1131.11354Hales, Thomas C. 5 2004 The Fundamental Lemma for \(Sp(4)\). Zbl 0876.22022Hales, Thomas C. 5 1997 Sphere packings. III: Extremal cases. Zbl 1186.52011Hales, Thomas C. 4 2006 Orbital integrals are motivic. Zbl 1056.22009Hales, Thomas C. 4 2005 Sphere packings. II. Zbl 0883.52013Hales, T. C. 4 1997 Hyperelliptic curves and harmonic analysis. (Why harmonic analysis on reductive \(p\)-adic groups is not elementary). Zbl 0834.22017Hales, Thomas C. 4 1994 Sphere packings. VI: Tame graphs and linear programs. Zbl 1186.52013Hales, Thomas C. 3 2006 Virtual transfer factors. Zbl 1043.11050Gordon, Julia; Hales, Thomas C. 3 2003 The strong dodecahedral conjecture and Fejes Tóth’s conjecture on sphere packings with kissing number twelve. Zbl 1281.52013Hales, Thomas C. 2 2013 Efficient formal verification of bounds of linear programs. Zbl 1335.68238Solovyev, Alexey; Hales, Thomas C. 2 2011 Sphere packings. IV: Detailed bounds. Zbl 1186.52012Hales, Thomas C. 2 2006 A statement of the fundamental lemma. Zbl 1105.22010Hales, Thomas C. 2 2005 Some algorithms arising in the proof of the Kepler conjecture. Zbl 1104.68800Hales, Thomas C. 2 2003 A computer verification of the Kepler conjecture. Zbl 1012.52031Hales, Thomas C. 2 2002 The twisted endoscopy of \(GL(4)\) and \(GL(5)\): Transfer of Shalika germs. Zbl 0853.22013Hales, Thomas C. 2 1994 Remarks on the density of sphere packings in three dimensions. Zbl 0784.05023Hales, Thomas C. 2 1993 Shalika germs on \(\mathrm{GSp}(4)\). Zbl 0698.22011Hales, Thomas C. 2 1989 The spherical Hecke algebra, partition functions, and motivic integration. Zbl 1418.22008Casselman, William; Cely, Jorge E.; Hales, Thomas 1 2019 The fundamental lemma and the Hitchin fibration. Zbl 1402.22008Hales, Thomas C. 1 2012 Linear programs for the Kepler conjecture (extended abstract). Zbl 1294.68122Hales, Thomas C. 1 2010 The subregular germ of orbital integrals. Zbl 0818.22004Hales, Thomas C. 1 1992 Orbital integrals on \(\text{U}(3)\). Zbl 0823.11023Hales, Thomas C. 1 1992 The spherical Hecke algebra, partition functions, and motivic integration. Zbl 1418.22008Casselman, William; Cely, Jorge E.; Hales, Thomas 1 2019 A formal proof of the Kepler conjecture. Zbl 1379.52018Hales, Thomas; Adams, Mark; Bauer, Gertrud; Dang, Tat Dat; Harrison, John; Hoang, Le Truong; Kaliszyk, Cezary; Magron, Victor; McLaughlin, Sean; Nguyen, Tat Thang; Nguyen, Quang Truong; Nipkow, Tobias; Obua, Steven; Pleso, Joseph; Rute, Jason; Solovyev, Alexey; Ta, Thi Hoai An; Tran, Nam Trung; Trieu, Thi Diep; Urban, Josef; Vu, Ky; Zumkeller, Roland 11 2017 Endoscopic transfer of orbital integrals in large residual characteristic. Zbl 1358.11062Gordon, Julia; Hales, Thomas 6 2016 The strong dodecahedral conjecture and Fejes Tóth’s conjecture on sphere packings with kissing number twelve. Zbl 1281.52013Hales, Thomas C. 2 2013 Dense sphere packings. A blueprint for formal proofs. Zbl 1263.52001Hales, Thomas C. 14 2012 The fundamental lemma and the Hitchin fibration. Zbl 1402.22008Hales, Thomas C. 1 2012 Efficient formal verification of bounds of linear programs. Zbl 1335.68238Solovyev, Alexey; Hales, Thomas C. 2 2011 A revision of the proof of the Kepler conjecture. Zbl 1195.52004Hales, Thomas C.; Harrison, John; McLaughlin, Sean; Nipkow, Tobias; Obua, Steven; Zumkeller, Roland 14 2010 The dodecahedral conjecture. Zbl 1207.52017Hales, Thomas C.; McLaughlin, Sean 5 2010 Linear programs for the Kepler conjecture (extended abstract). Zbl 1294.68122Hales, Thomas C. 1 2010 Formal proof. Zbl 1188.68002Hales, Thomas C. 13 2008 The Jordan curve theorem, formally and informally. Zbl 1137.03305Hales, Thomas C. 62 2007 A formulation of the Kepler conjecture. Zbl 1186.52014Hales, Thomas C.; Ferguson, Samuel P. 8 2006 Historical overview of the Kepler conjecture. Zbl 1186.52010Hales, Thomas C. 7 2006 Sphere packings. III: Extremal cases. Zbl 1186.52011Hales, Thomas C. 4 2006 Sphere packings. VI: Tame graphs and linear programs. Zbl 1186.52013Hales, Thomas C. 3 2006 Sphere packings. IV: Detailed bounds. Zbl 1186.52012Hales, Thomas C. 2 2006 A proof of the Kepler conjecture. Zbl 1096.52010Hales, Thomas C. 99 2005 What is motivic measure? Zbl 1081.14033Hales, Thomas C. 8 2005 Orbital integrals are motivic. Zbl 1056.22009Hales, Thomas C. 4 2005 A statement of the fundamental lemma. Zbl 1105.22010Hales, Thomas C. 2 2005 Formalizing the proof of the Kepler conjecture. Zbl 1099.68725Hales, Thomas 9 2004 Good orbital integrals. Zbl 1054.22016Cunningham, Clifton; Hales, Thomas C. 6 2004 Can \(p\)-adic integrals be computed? Zbl 1131.11354Hales, Thomas C. 5 2004 Virtual transfer factors. Zbl 1043.11050Gordon, Julia; Hales, Thomas C. 3 2003 Some algorithms arising in the proof of the Kepler conjecture. Zbl 1104.68800Hales, Thomas C. 2 2003 A computer verification of the Kepler conjecture. Zbl 1012.52031Hales, Thomas C. 2 2002 The honeycomb conjecture. Zbl 1007.52008Hales, T. C. 40 2001 Cannonballs and honeycombs. Zbl 1040.52012Hales, Thomas C. 11 2000 Sphere packings. I. Zbl 0883.52012Hales, T. C. 7 1997 The Fundamental Lemma for \(Sp(4)\). Zbl 0876.22022Hales, Thomas C. 5 1997 Sphere packings. II. Zbl 0883.52013Hales, T. C. 4 1997 On the fundamental lemma for standard endoscopy: reduction to unit elements. Zbl 0840.22032Hales, Thomas C. 20 1995 The status of the Kepler conjecture. Zbl 0844.52018Hales, Thomas C. 7 1994 Hyperelliptic curves and harmonic analysis. (Why harmonic analysis on reductive \(p\)-adic groups is not elementary). Zbl 0834.22017Hales, Thomas C. 4 1994 The twisted endoscopy of \(GL(4)\) and \(GL(5)\): Transfer of Shalika germs. Zbl 0853.22013Hales, Thomas C. 2 1994 A simple definition of transfer factors for unramified groups. Zbl 0828.22015Hales, Thomas C. 16 1993 Unipotent representations and unipotent classes in \(SL(N)\). Zbl 0810.22008Hales, Thomas C. 8 1993 Remarks on the density of sphere packings in three dimensions. Zbl 0784.05023Hales, Thomas C. 2 1993 The sphere packing problem. Zbl 0770.52009Hales, Thomas C. 11 1992 The subregular germ of orbital integrals. Zbl 0818.22004Hales, Thomas C. 1 1992 Orbital integrals on \(\text{U}(3)\). Zbl 0823.11023Hales, Thomas C. 1 1992 Shalika germs on \(\mathrm{GSp}(4)\). Zbl 0698.22011Hales, Thomas C. 2 1989 all cited Publications top 5 cited Publications all top 5 Cited by 570 Authors 13 Hales, Thomas Callister 6 Bezdek, Károly 6 Szirmai, Jenó 5 Bucur, Dorin 5 Cluckers, Raf 5 Kallus, Yoav 5 Nipkow, Tobias 4 Fragalà, Ilaria 4 Gordon, Julia 4 Lemaire, Bertrand 4 Obua, Steven 4 Urban, Josef 3 Arthur, James Greig 3 Conway, John Horton 3 Harrison, John R. 3 Henniart, Guy M. 3 Kaletha, Tasho 3 Kaliszyk, Cezary 3 Kaltofen, Erich L. 3 Magron, Victor 3 McLaughlin, Sean 3 Shin, Sug Woo 3 Stoyan, Yuriĭ Grygorovych 3 Theil, Florian 3 Torquato, Salvatore 3 Waldspurger, Jean-Loup 3 Yin, Yimu 2 Abbas, Hassan 2 Allamigeon, Xavier 2 Aransay, Jesús 2 Arnold, Andrew 2 Aspinall, David 2 Barkatou, Moulay A. 2 Bogoşel, Beniamin 2 Borodachov, Sergiy V. 2 Bostan, Alin 2 Brauchart, Johann S. 2 Calude, Cristian S. 2 Chen, Elizabeth R. 2 Chen, Shaoshi 2 Cohn, Henry Lee 2 Corneli, Joseph 2 Cunningham, Clifton L. R. 2 de Laat, David 2 Divasón, Jose 2 Faugère, Jean-Charles 2 Faulhuber, Markus 2 Flatley, Lisa C. 2 Gaubert, Stéphane 2 Geuvers, Jan Herman 2 Giesbrecht, Mark W. 2 Halupczok, Immanuel 2 Indrei, Emanuel 2 Johnson, Tomas 2 Kauers, Manuel 2 Kerber, Michael 2 Kim, Ju-Lee 2 Kusner, Wöden 2 Loeser, François 2 Maddah, Suzy S. 2 Maggi, Francesco 2 Melquiond, Guillaume 2 Musin, Oleg R. 2 Osting, Braxton 2 Paulson, Lawrence Charles 2 Roche, Daniel S. 2 Rouillier, Fabrice 2 Rump, Siegfried Michael 2 Saff, Edward Barry 2 Schost, Éric 2 Siddique, Umair 2 Sloane, Neil James Alexander 2 Solovyev, Alexey 2 Sorensen, Claus Mazanti 2 Spice, Loren 2 Steinerberger, Stefan 2 Tahar, Sofiène 2 Taïbi, Olivier 2 Tucker, Warwick 2 Vallentin, Frank 2 Veys, Willem 2 Werner, Benjamin 2 Wójtowicz, Krzysztof 2 Xavier, Adilson Elias 2 Yas’kov, G. N. 2 Zhao, Yufei 2 Zumkeller, Roland 1 Aarts, Emile Hubertus Leonardus 1 Adams, Mark 1 Adams, Mark F. 1 Alama, Jesse 1 Albrecht, Andreas A. 1 Algar, Shannon Dee 1 Alt, Helmut 1 Anai, Hirokazu 1 Andreanov, Alexei 1 Angryk, Rafal A. 1 Arai, Noriko H. 1 Arreche, Carlos E. 1 Asperti, Andrea ...and 470 more Authors all top 5 Cited in 137 Serials 20 Discrete & Computational Geometry 11 Journal of Automated Reasoning 8 Advances in Mathematics 8 Duke Mathematical Journal 5 Compositio Mathematica 5 Journal für die Reine und Angewandte Mathematik 5 Proceedings of the American Mathematical Society 5 Synthese 4 Journal of Computational and Applied Mathematics 4 Bulletin of the American Mathematical Society. New Series 4 Representation Theory 3 Communications in Mathematical Physics 3 Journal of Statistical Physics 3 The Mathematical Intelligencer 3 Inventiones Mathematicae 3 Journal of Geometry 3 Theoretical Computer Science 3 Transactions of the American Mathematical Society 3 Annals of Mathematics. Second Series 3 Journal of the Institute of Mathematics of Jussieu 2 Artificial Intelligence 2 Discrete Mathematics 2 Journal of Computational Physics 2 Journal of Mathematical Analysis and Applications 2 Journal of Mathematical Physics 2 Bulletin of Mathematical Biology 2 Beiträge zur Algebra und Geometrie 2 Annales Scientifiques de l’École Normale Supérieure. Quatrième Série 2 Publications Mathématiques 2 International Journal for Numerical Methods in Engineering 2 Journal of Computer and System Sciences 2 European Journal of Combinatorics 2 Acta Mathematica Hungarica 2 Annals of Pure and Applied Logic 2 Journal of Complexity 2 Journal of the American Mathematical Society 2 Formal Aspects of Computing 2 MSCS. Mathematical Structures in Computer Science 2 Journal of Global Optimization 2 Mathematical Programming. Series A. Series B 2 Experimental Mathematics 2 Journal de Théorie des Nombres de Bordeaux 2 Selecta Mathematica. New Series 2 Annals of Mathematics and Artificial Intelligence 2 International Transactions in Operational Research 2 Journal of Mathematical Chemistry 2 Geometry & Topology 2 Journal of Formalized Reasoning 2 Forum of Mathematics, Sigma 1 Acta Mechanica 1 Archive for Rational Mechanics and Analysis 1 International Journal of Solids and Structures 1 Israel Journal of Mathematics 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Physics Reports 1 Reviews of Modern Physics 1 Rocky Mountain Journal of Mathematics 1 Mathematics of Computation 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 The Annals of Probability 1 Applied Mathematics and Computation 1 Applied Mathematics and Optimization 1 Archiv der Mathematik 1 BIT 1 Bulletin de la Société Mathématique de France 1 Journal of Algebra 1 Journal of Mathematical Economics 1 Journal of Number Theory 1 Kybernetes 1 Mathematische Annalen 1 Mathematische Zeitschrift 1 Mathematika 1 Memoirs of the American Mathematical Society 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Advances in Applied Mathematics 1 Combinatorica 1 Physica D 1 Constructive Approximation 1 Algorithmica 1 Information and Computation 1 Sugaku Expositions 1 The Annals of Applied Probability 1 Differential Geometry and its Applications 1 European Journal of Operational Research 1 Journal de Mathématiques Pures et Appliquées. Neuvième Série 1 Proceedings of the National Academy of Sciences of the United States of America 1 SIAM Journal on Mathematical Analysis 1 SIAM Review 1 Chinese Science Bulletin 1 Indagationes Mathematicae. New Series 1 Journal of Mathematical Imaging and Vision 1 Journal of Nonlinear Science 1 Combinatorics, Probability and Computing 1 Finite Fields and their Applications 1 Bulletin des Sciences Mathématiques 1 Engineering Analysis with Boundary Elements 1 INFORMS Journal on Computing 1 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations 1 Abstract and Applied Analysis ...and 37 more Serials all top 5 Cited in 53 Fields 113 Computer science (68-XX) 84 Convex and discrete geometry (52-XX) 65 Number theory (11-XX) 43 Topological groups, Lie groups (22-XX) 35 Numerical analysis (65-XX) 29 Mathematical logic and foundations (03-XX) 28 Combinatorics (05-XX) 28 Algebraic geometry (14-XX) 24 Operations research, mathematical programming (90-XX) 16 General and overarching topics; collections (00-XX) 16 Field theory and polynomials (12-XX) 15 Commutative algebra (13-XX) 14 Calculus of variations and optimal control; optimization (49-XX) 13 Geometry (51-XX) 12 Statistical mechanics, structure of matter (82-XX) 9 Partial differential equations (35-XX) 9 Approximations and expansions (41-XX) 9 Probability theory and stochastic processes (60-XX) 9 Mechanics of deformable solids (74-XX) 8 Group theory and generalizations (20-XX) 8 Biology and other natural sciences (92-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 7 Ordinary differential equations (34-XX) 7 Differential geometry (53-XX) 7 Information and communication theory, circuits (94-XX) 6 Dynamical systems and ergodic theory (37-XX) 6 Statistics (62-XX) 5 Algebraic topology (55-XX) 5 Quantum theory (81-XX) 4 Associative rings and algebras (16-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 History and biography (01-XX) 3 Real functions (26-XX) 3 Measure and integration (28-XX) 3 Functions of a complex variable (30-XX) 3 Several complex variables and analytic spaces (32-XX) 3 Special functions (33-XX) 3 Harmonic analysis on Euclidean spaces (42-XX) 3 Manifolds and cell complexes (57-XX) 3 Fluid mechanics (76-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Nonassociative rings and algebras (17-XX) 2 Category theory; homological algebra (18-XX) 2 Mechanics of particles and systems (70-XX) 2 Optics, electromagnetic theory (78-XX) 2 Mathematics education (97-XX) 1 Sequences, series, summability (40-XX) 1 Integral equations (45-XX) 1 Operator theory (47-XX) 1 General topology (54-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Relativity and gravitational theory (83-XX) 1 Systems theory; control (93-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.