Thomas Callister Hales | Academic Influence

Thomas Callister Hales's AcademicInfluence.com Rankings

Thomas Callister Hales

Mathematics

#166

World Rank

#394

Historical Rank

#74

USA Rank

Geometry

#11

World Rank

#25

Historical Rank

#3

USA Rank

Differential Geometry

#44

World Rank

#52

Historical Rank

#17

USA Rank

Measure Theory

#2756

World Rank

#3291

Historical Rank

#794

USA Rank

mathematics Degrees

Download Badge

Mathematics

Thomas Callister Hales's Degrees

PhD Mathematics Princeton University
Bachelors Mathematics University of California, Berkeley

Similar Degrees You Can Earn

Best Online Bachelor's in Math 2025

Why Is Thomas Callister Hales Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Thomas Callister Hales is an American mathematician working in the areas of representation theory, discrete geometry, and formal verification. In representation theory he is known for his work on the Langlands program and the proof of the fundamental lemma over the group Sp . In discrete geometry, he settled the Kepler conjecture on the density of sphere packings and the honeycomb conjecture. In 2014, he announced the completion of the Flyspeck Project, which formally verified the correctness of his proof of the Kepler conjecture.

(See a Problem?)

Thomas Callister Hales's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Sphere packings, I (1998) (1664)
A proof of the Kepler conjecture (2005) (899)
The Honeycomb Conjecture (1999) (400)
A FORMAL PROOF OF THE KEPLER CONJECTURE (2015) (368)
The Jordan Curve Theorem, Formally and Informally (2007) (126)
A Revision of the Proof of the Kepler Conjecture (2009) (126)
Cannonballs and Honeycombs (2000) (115)
The Kepler conjecture (1998) (110)
Introduction to the Flyspeck Project (2005) (101)
Historical Overview of the Kepler Conjecture (2006) (99)
Formal Proof (2008) (96)
Dense Sphere Packings: A Blueprint for Formal Proofs (2012) (85)
An overview of the Kepler conjecture (1998) (74)
A Formulation of the Kepler Conjecture (1998) (66)
On the Fundamental Lemma for Standard Endoscopy: Reduction to Unit Elements (1995) (65)
The sphere packing problem (1992) (64)
Jordan ’ s Proof of the Jordan Curve Theorem (2007) (62)
The status of the kepler conjecture (1994) (61)
Sphere Packings, II (1997) (57)
Transfer Principle for the Fundamental Lemma (2007) (55)
The Kepler conjecture : the Hales-Ferguson proof by Thomas Hales, Samuel Ferguson (2011) (45)
Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations (2013) (45)
What is motivic measure (2003) (33)
The dodecahedral conjecture (2009) (30)
A computer verification of the Kepler conjecture (2003) (28)
Mathematics in the age of the Turing machine (2013) (26)
The NSA back door to NIST (2014) (26)
Can p-adic integrals be computed? (2002) (24)
Homotopy Type Theory: Univalent Foundations of Mathematics (2013) (23)
Good orbital integrals (2003) (21)
Remarks on the density of sphere packings in three dimensions (1993) (20)
Sphere Packings, VI. Tame Graphs and Linear Programs (2006) (20)
Some Algorithms Arising in the Proof of the Kepler Conjecture (2002) (19)
A Proof of the Dodecahedral Conjecture (1998) (18)
THE FUNDAMENTAL LEMMA FOR Sp(4) (1996) (17)
UNIPOTENT REPRESENTATIONS AND UNIPOTENT CLASSES IN SL(N) (1993) (17)
Orbital integrals are motivic (2002) (17)
Developments in Formal Proofs (2014) (16)
Sphere Packing, III. Extremal Cases (2006) (16)
Advances in random matrix theory, zeta functions, and sphere packing. (2000) (14)
Sphere Packing, IV. Detailed Bounds (2006) (14)
VIRTUAL TRANSFER FACTORS (2002) (12)
The fundamental lemma for (4) (1997) (12)
A Statement of the Fundamental Lemma (2003) (12)
Efficient Formal Verification of Bounds of Linear Programs (2011) (10)
Formalizing the Proof of the Kepler Conjecture (2004) (10)
The spherical Hecke algebra, partition functions, and motivic integration (2016) (10)
The Strong Dodecahedral Conjecture and Fejes Tóth’s Conjecture on Sphere Packings with Kissing Number Twelve (2011) (10)
Sphere packings III (1998) (9)
Endoscopic transfer of orbital integrals in large residual characteristic (2015) (8)
Linear Programs for the Kepler Conjecture - (Extended Abstract) (2010) (8)
The twisted endoscopy of $GL(4)$ and $GL(5)$: transfer of Shalika germs (1994) (8)
Formal computations and methods (2012) (8)
On the Reinhardt Conjecture (2011) (6)
Packings of Regular Pentagons in the Plane (2016) (6)
The fundamental lemma and the Hitchin fibration [after Ngo Bao Chau] (2011) (5)
The subregular germ of orbital integrals (1992) (5)
Hyperelliptic Curves and Harmonic Analysis ( Why harmonic analysis on reductive p-adic groups is not elementary ) (2015) (5)
The Honeycomb Problem on the Sphere (2002) (5)
The Strong Dodecahedral Conjecture and Fejes Toth's Contact Conjecture (2011) (5)
Sphere packings IV (1998) (5)
A Proof of Fejes Toth's Conjecture on Sphere Packings with Kissing Number Twelve (2012) (4)
The Group Law for Edwards Curves (2016) (3)
Sphere Packings in 3 Dimensions (2002) (3)
Delamination Origin for Columbia River Flood Basalts and Wallowa Mountain Uplift in NE Oregon (2005) (2)
Some Methods of Problem Solving in Elementary Geometry (2007) (2)
Formal Proof of the Group Law for Edwards Elliptic Curves (2020) (2)
Dense Sphere Packings: Fan (2012) (2)
The Reinhardt Conjecture as an Optimal Control Problem (2017) (1)
The Work of Ngo Bao Chau (2010) (1)
J un 2 00 2 A Proof of the Dodecahedral Conjecture (1998) (1)
Equidecomposable Quadratic Regions (2006) (1)
Abstracts of the talks (2016) (1)
Sphere Packings Ii Section 1. Introduction (2007) (0)
Dense Sphere Packings: Trigonometry (2012) (0)
The Rockfall Buzzsaw: Quantifying the role of frost processes on mountain evolution (2006) (0)
Sphere packings and generative (2001) (0)
Dense Sphere Packings: References (2012) (0)
Long-term Ecohydrologic Pattern Optimization at the Hillslope Scale (2007) (0)
Dense Sphere Packings: Close Packing (2012) (0)
hosted at the Radboud Repository of the (2018) (0)
Computational Discrete Geometry (2010) (0)
The Mathematical Work of the 2010 Fields Medalists (2011) (0)
Dense Sphere Packings: Tame Hypermap (2012) (0)
Dense Sphere Packings: Local Fan (2012) (0)
External Tools for the Formal Proof of the Kepler Conjecture (2013) (0)
Dense Sphere Packings: Credits (2012) (0)
Dense Sphere Packings: Hypermap (2012) (0)
In Memoriam: Jun-Ichi Igusa 1924–2013 (2016) (0)
Reminiscences by a Student of Langlands (2019) (0)
Walter Talbot's thesis (2018) (0)
A ug 2 00 2 VIRTUAL TRANSFER FACTORS (2008) (0)
Erosional controls on mountainous topography, Southern Alps, New Zealand (2004) (0)

This paper list is powered by the following services:

Other Resources About Thomas Callister Hales

en.wikipedia.org

What Schools Are Affiliated With Thomas Callister Hales?

Thomas Callister Hales is affiliated with the following schools:

Image Attributions

Image Source for Thomas Callister Hales