×

zbMATH — the first resource for mathematics

Hales, Thomas Callister

Compute Distance To:
Author ID: hales.thomas-c Recent zbMATH articles by "Hales, Thomas Callister"
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

Publications by Year

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.52010
Hales, Thomas C.
99
2005
The Jordan curve theorem, formally and informally. Zbl 1137.03305
Hales, Thomas C.
62
2007
The honeycomb conjecture. Zbl 1007.52008
Hales, T. C.
40
2001
On the fundamental lemma for standard endoscopy: reduction to unit elements. Zbl 0840.22032
Hales, Thomas C.
20
1995
A simple definition of transfer factors for unramified groups. Zbl 0828.22015
Hales, Thomas C.
16
1993
Dense sphere packings. A blueprint for formal proofs. Zbl 1263.52001
Hales, Thomas C.
14
2012
A revision of the proof of the Kepler conjecture. Zbl 1195.52004
Hales, Thomas C.; Harrison, John; McLaughlin, Sean; Nipkow, Tobias; Obua, Steven; Zumkeller, Roland
14
2010
Formal proof. Zbl 1188.68002
Hales, Thomas C.
13
2008
A formal proof of the Kepler conjecture. Zbl 1379.52018
Hales, 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.52012
Hales, Thomas C.
11
2000
The sphere packing problem. Zbl 0770.52009
Hales, Thomas C.
11
1992
Formalizing the proof of the Kepler conjecture. Zbl 1099.68725
Hales, Thomas
9
2004
A formulation of the Kepler conjecture. Zbl 1186.52014
Hales, Thomas C.; Ferguson, Samuel P.
8
2006
What is motivic measure? Zbl 1081.14033
Hales, Thomas C.
8
2005
Unipotent representations and unipotent classes in \(SL(N)\). Zbl 0810.22008
Hales, Thomas C.
8
1993
Historical overview of the Kepler conjecture. Zbl 1186.52010
Hales, Thomas C.
7
2006
Sphere packings. I. Zbl 0883.52012
Hales, T. C.
7
1997
The status of the Kepler conjecture. Zbl 0844.52018
Hales, Thomas C.
7
1994
Endoscopic transfer of orbital integrals in large residual characteristic. Zbl 1358.11062
Gordon, Julia; Hales, Thomas
6
2016
Good orbital integrals. Zbl 1054.22016
Cunningham, Clifton; Hales, Thomas C.
6
2004
The dodecahedral conjecture. Zbl 1207.52017
Hales, Thomas C.; McLaughlin, Sean
5
2010
Can \(p\)-adic integrals be computed? Zbl 1131.11354
Hales, Thomas C.
5
2004
The Fundamental Lemma for \(Sp(4)\). Zbl 0876.22022
Hales, Thomas C.
5
1997
Sphere packings. III: Extremal cases. Zbl 1186.52011
Hales, Thomas C.
4
2006
Orbital integrals are motivic. Zbl 1056.22009
Hales, Thomas C.
4
2005
Sphere packings. II. Zbl 0883.52013
Hales, T. C.
4
1997
Hyperelliptic curves and harmonic analysis. (Why harmonic analysis on reductive \(p\)-adic groups is not elementary). Zbl 0834.22017
Hales, Thomas C.
4
1994
Sphere packings. VI: Tame graphs and linear programs. Zbl 1186.52013
Hales, Thomas C.
3
2006
Virtual transfer factors. Zbl 1043.11050
Gordon, 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.52013
Hales, Thomas C.
2
2013
Efficient formal verification of bounds of linear programs. Zbl 1335.68238
Solovyev, Alexey; Hales, Thomas C.
2
2011
Sphere packings. IV: Detailed bounds. Zbl 1186.52012
Hales, Thomas C.
2
2006
A statement of the fundamental lemma. Zbl 1105.22010
Hales, Thomas C.
2
2005
Some algorithms arising in the proof of the Kepler conjecture. Zbl 1104.68800
Hales, Thomas C.
2
2003
A computer verification of the Kepler conjecture. Zbl 1012.52031
Hales, Thomas C.
2
2002
The twisted endoscopy of \(GL(4)\) and \(GL(5)\): Transfer of Shalika germs. Zbl 0853.22013
Hales, Thomas C.
2
1994
Remarks on the density of sphere packings in three dimensions. Zbl 0784.05023
Hales, Thomas C.
2
1993
Shalika germs on \(\mathrm{GSp}(4)\). Zbl 0698.22011
Hales, Thomas C.
2
1989
The spherical Hecke algebra, partition functions, and motivic integration. Zbl 1418.22008
Casselman, William; Cely, Jorge E.; Hales, Thomas
1
2019
The fundamental lemma and the Hitchin fibration. Zbl 1402.22008
Hales, Thomas C.
1
2012
Linear programs for the Kepler conjecture (extended abstract). Zbl 1294.68122
Hales, Thomas C.
1
2010
The subregular germ of orbital integrals. Zbl 0818.22004
Hales, Thomas C.
1
1992
Orbital integrals on \(\text{U}(3)\). Zbl 0823.11023
Hales, Thomas C.
1
1992
The spherical Hecke algebra, partition functions, and motivic integration. Zbl 1418.22008
Casselman, William; Cely, Jorge E.; Hales, Thomas
1
2019
A formal proof of the Kepler conjecture. Zbl 1379.52018
Hales, 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.11062
Gordon, Julia; Hales, Thomas
6
2016
The strong dodecahedral conjecture and Fejes Tóth’s conjecture on sphere packings with kissing number twelve. Zbl 1281.52013
Hales, Thomas C.
2
2013
Dense sphere packings. A blueprint for formal proofs. Zbl 1263.52001
Hales, Thomas C.
14
2012
The fundamental lemma and the Hitchin fibration. Zbl 1402.22008
Hales, Thomas C.
1
2012
Efficient formal verification of bounds of linear programs. Zbl 1335.68238
Solovyev, Alexey; Hales, Thomas C.
2
2011
A revision of the proof of the Kepler conjecture. Zbl 1195.52004
Hales, Thomas C.; Harrison, John; McLaughlin, Sean; Nipkow, Tobias; Obua, Steven; Zumkeller, Roland
14
2010
The dodecahedral conjecture. Zbl 1207.52017
Hales, Thomas C.; McLaughlin, Sean
5
2010
Linear programs for the Kepler conjecture (extended abstract). Zbl 1294.68122
Hales, Thomas C.
1
2010
Formal proof. Zbl 1188.68002
Hales, Thomas C.
13
2008
The Jordan curve theorem, formally and informally. Zbl 1137.03305
Hales, Thomas C.
62
2007
A formulation of the Kepler conjecture. Zbl 1186.52014
Hales, Thomas C.; Ferguson, Samuel P.
8
2006
Historical overview of the Kepler conjecture. Zbl 1186.52010
Hales, Thomas C.
7
2006
Sphere packings. III: Extremal cases. Zbl 1186.52011
Hales, Thomas C.
4
2006
Sphere packings. VI: Tame graphs and linear programs. Zbl 1186.52013
Hales, Thomas C.
3
2006
Sphere packings. IV: Detailed bounds. Zbl 1186.52012
Hales, Thomas C.
2
2006
A proof of the Kepler conjecture. Zbl 1096.52010
Hales, Thomas C.
99
2005
What is motivic measure? Zbl 1081.14033
Hales, Thomas C.
8
2005
Orbital integrals are motivic. Zbl 1056.22009
Hales, Thomas C.
4
2005
A statement of the fundamental lemma. Zbl 1105.22010
Hales, Thomas C.
2
2005
Formalizing the proof of the Kepler conjecture. Zbl 1099.68725
Hales, Thomas
9
2004
Good orbital integrals. Zbl 1054.22016
Cunningham, Clifton; Hales, Thomas C.
6
2004
Can \(p\)-adic integrals be computed? Zbl 1131.11354
Hales, Thomas C.
5
2004
Virtual transfer factors. Zbl 1043.11050
Gordon, Julia; Hales, Thomas C.
3
2003
Some algorithms arising in the proof of the Kepler conjecture. Zbl 1104.68800
Hales, Thomas C.
2
2003
A computer verification of the Kepler conjecture. Zbl 1012.52031
Hales, Thomas C.
2
2002
The honeycomb conjecture. Zbl 1007.52008
Hales, T. C.
40
2001
Cannonballs and honeycombs. Zbl 1040.52012
Hales, Thomas C.
11
2000
Sphere packings. I. Zbl 0883.52012
Hales, T. C.
7
1997
The Fundamental Lemma for \(Sp(4)\). Zbl 0876.22022
Hales, Thomas C.
5
1997
Sphere packings. II. Zbl 0883.52013
Hales, T. C.
4
1997
On the fundamental lemma for standard endoscopy: reduction to unit elements. Zbl 0840.22032
Hales, Thomas C.
20
1995
The status of the Kepler conjecture. Zbl 0844.52018
Hales, Thomas C.
7
1994
Hyperelliptic curves and harmonic analysis. (Why harmonic analysis on reductive \(p\)-adic groups is not elementary). Zbl 0834.22017
Hales, Thomas C.
4
1994
The twisted endoscopy of \(GL(4)\) and \(GL(5)\): Transfer of Shalika germs. Zbl 0853.22013
Hales, Thomas C.
2
1994
A simple definition of transfer factors for unramified groups. Zbl 0828.22015
Hales, Thomas C.
16
1993
Unipotent representations and unipotent classes in \(SL(N)\). Zbl 0810.22008
Hales, Thomas C.
8
1993
Remarks on the density of sphere packings in three dimensions. Zbl 0784.05023
Hales, Thomas C.
2
1993
The sphere packing problem. Zbl 0770.52009
Hales, Thomas C.
11
1992
The subregular germ of orbital integrals. Zbl 0818.22004
Hales, Thomas C.
1
1992
Orbital integrals on \(\text{U}(3)\). Zbl 0823.11023
Hales, Thomas C.
1
1992
Shalika germs on \(\mathrm{GSp}(4)\). Zbl 0698.22011
Hales, Thomas C.
2
1989
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.