Thomas Hales

University of Pittsburgh — United States

Mathematics · Physical Sciences

30h-index4.9kcitations159works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Mathematics and Applications(46), Advanced Algebra and Geometry(23), Advanced Mathematical Theories and Applications(21), Algebraic Geometry and Number Theory(20), Computational Geometry and Mesh Generation(20)

Publications158 total

A Review of Alfred North Whitehead’s “Introduction to Mathematics”
Pittsburgh Interdisciplinary Mathematics Review·2024Open Access
A review of Alfred North Whitehead's "Introduction to Mathematics"
arXiv (Cornell University)·2024Open Access
The Formal Proof of the Kepler Conjecture: a critical retrospective
arXiv (Cornell University)·2024Open Access
Workplace violence during the COVID-19 pandemic: March–October, 2020, United States
Journal of Safety Research·2022· 27 citedOpen Access
Proofgold: Blockchain for Formal Methods
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2022· 4 citedOpen Access
Reminiscences by a Student of Langlands
Cambridge University Press eBooks·2021
Mortality in a cohort of US firefighters from San Francisco, Chicago and Philadelphia: an update
Occupational and Environmental Medicine·2020· 67 citedOpen Access
Formal Proof of the Group Law for Edwards Elliptic Curves
Lecture notes in computer science·2020Open Access
Reminiscences by a student of Langlands
arXiv (Cornell University)·2019Open Access
Exposé Bourbaki 1086 : Developments in formal proofs
Astérisque·2018· 1 cited
Walter Talbot's thesis
arXiv (Cornell University)·2018Open Access
External Tools for the Formal Proof of the Kepler Conjecture
EPiC series in computing·2018· 2 citedOpen Access
The spherical Hecke algebra, partition functions, and motivic integration
Transactions of the American Mathematical Society·2017· 1 citedOpen Access
The Reinhardt Conjecture as an Optimal Control Problem
arXiv (Cornell University)·2017· 1 citedOpen Access
UDOT research peer exchange, October 12-13, 2016 : implementation, state DOT library, national committees, and state transportation innovation council.
2017
A FORMAL PROOF OF THE KEPLER CONJECTURE
Forum of Mathematics Pi·2017· 328 citedOpen Access
The Spherical Hecke algebra, partition functions, and motivic\n integration
arXiv (Cornell University)·2016Open Access
The Group Law for Edwards Curves
arXiv (Cornell University)·2016· 2 citedOpen Access
Why do Fire Ground Duties Trigger Sudden Cardiac Events in Firefighters?
Exercise and Sport Sciences Reviews·2016
Packings of Regular Pentagons in the Plane
arXiv (Cornell University)·2016· 2 citedOpen Access
page 1 of 8Next →

Frequent Co-authors

Sean McLaughlin(6), John Harrison(4), Tobias Nipkow(4), Steven Obua(4), Roland Zumkeller(4), Mark Adams(2), Gertrud Bauer(2), Hoang Le Truong(2), Cezary Kaliszyk(2), Victor Magron(2), Joseph Pleso(2), Jason Rute(2), Alexey Solovyev(2), Josef Urban(2), Ky Vu(2), Sherry Baron(2), Joseph Hurrell(2), Conrad P. Quinn(2), James Hayslett(2), Vera Semenova(2)