← back to search

Thomas Hales

University of Pittsburgh · US
Area of research
Geometry and Topology · Mathematical Physics
Research interest
Research interests include Mathematics and Applications, Advanced Algebra and Geometry, Algebraic Geometry and Number Theory, and Computational Geometry and Mesh Generation.
h-index
30
citations
5,021
works
158
NIH funding
—
primary concept
—
email
✉ Find email ↗

Recent publications

A FORMAL PROOF OF THE KEPLER CONJECTURE
Forum of Mathematics Pi 2017cited by 336position: firstdoi

Grants

The Reinhardt and Ulam Conjectures
NSF1104102$175,0002012–2016PIRePORTER
The Formal Proof of the Kepler Conjecture
NSF0804189$445,9582008–2011PIRePORTER
Formal Foundations of Discrete Geometry
NSF0503447$140,0002005–2008PIRePORTER
Characters, Motives, and First-order Logic
NSF0245332$142,8042003–2005PIRePORTER
Motive Representation Theory
NSF0224963$70,8312002–2003PIRePORTER
Motive Representation Theory
NSF0070716$122,5002000–2002PIRePORTER
The Kepler Conjecture
NSF9704129$81,2501997–2000PIRePORTER
Mathematical Sciences: A Stable Trace Formula for the Rank-Two Symplectic Group
NSF9401691$83,6671994–1998PIRePORTER
Mathematical Sciences: Postdoctoral Research Fellowship
NSF8905652$75,0001989–1991PIRePORTER
Mathematical Sciences: Automorphic Forms and Representation Theory
NSF8715402$35,2001987–1990PIRePORTER

Frequent collaborators

John Harrison · University of Connecticut1 papers (2017–2017)— · 1 papers (2017–2017)Sean McLaughlin · Seattle University1 papers (2017–2017)— · 1 papers (2017–2017)— · 1 papers (2017–2017)— · 1 papers (2017–2017)Steven Obua · University of Edinburgh1 papers (2017–2017)Jason Rute · Pennsylvania State University1 papers (2017–2017)Tobias Nipkow · Technical University of Munich1 papers (2017–2017)— · 1 papers (2017–2017)— · 1 papers (2017–2017)Cezary Kaliszyk · University of Vienna1 papers (2017–2017)— · 1 papers (2017–2017)— · 1 papers (2017–2017)— · 1 papers (2017–2017)QUANG TRUONG NGUYEN · University of Pittsburgh1 papers (2017–2017)— · 1 papers (2017–2017)— · 1 papers (2017–2017)Alexey Solovyev · A.P. Krylov All-Russian Oil and Gas Research Institute (Russia)1 papers (2017–2017)— · 1 papers (2017–2017)