44
Publications
4K
Citations
27
H-Index
1988
Active since
Thomas Hales is an author at University of Pittsburgh specializing in geometry, discrete geometry, and engineering.
Top concepts
GeometryEngineeringDiscrete GeometryDiscrete MathematicsCombinatorial OptimizationComputational GeometryRepresentation TheoryEducationAstrophysicsComputer Science
Publications per year
1988–2022
44
44
A proof of the Kepler conjecture
Thomas Hales · Annals of Mathematics · 2005 · 964 citations · Full text
A FORMAL PROOF OF THE KEPLER CONJECTURE
Thomas Hales, Mark Adams, Gertrud Bauer et al. · Forum of Mathematics Pi · 2017 · 328 citations · Full text
Rows per page
1–5 of 44