papers
Publications (27)
math.AG2005
What is Motivic Measure?
Thomas C. Hales
math.RT2002
Orbital Integrals are Motivic
Thomas C. Hales
math.MG2002
An overview of the Kepler conjecture
Thomas C. Hales
math.MG2012
A Proof of Fejes Toth's Conjecture on Sphere Packings with Kissing Number Twelve
Thomas C. Hales
math.NT2010
The Work of Ngo Bao Chau
Thomas C. Hales
math.MG2002
The Kepler conjecture
Thomas C. Hales
math.MG2002
A formulation of the Kepler conjecture
Samuel P. Ferguson, Thomas C. Hales
math.MG1998
Sphere packings I
Thomas C. Hales
math.RT2002
Virtual Transfer Factors
Julia Gordon, Thomas C. Hales
math.MG2002
Sphere packings III
Thomas C. Hales
cs.LO2014
Developments in Formal Proofs
Thomas C. Hales
math.MG2003
A computer verification of the Kepler conjecture
Thomas C. Hales
math.RT2002
Can p-adic integrals be computed?
Thomas C. Hales
cs.LO2013
Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations
Alexey Solovyev, Thomas C. Hales
math.MG2002
Sphere Packings in 3 Dimensions
Thomas C. Hales
math.MG2002
Sphere packings IV
Thomas C. Hales
math.MG2011
On the Reinhardt Conjecture
Thomas C. Hales
math.MG2002
Some algorithms arising in the proof of the Kepler conjecture
Thomas C. Hales
math.MG2012
The Strong Dodecahedral Conjecture and Fejes Toth's Conjecture on Sphere Packings with Kissing Number Twelve
Thomas C. Hales
math.MG2002
The Honeycomb Conjecture
Thomas C. Hales
math.MG2002
The Honeycomb Problem on the Sphere
Thomas C. Hales
math.MG2008
A proof of the dodecahedral conjecture
Thomas C. Hales, Sean McLaughlin
math.MG1998
Sphere packings II
Thomas C. Hales
math.RT2003
A Statement of the Fundamental Lemma
Thomas C. Hales
math.RT2011
The fundamental lemma and the Hitchin fibration [after Ngo Bao Chau]
Thomas C. Hales
math.MG2009
A revision of the proof of the Kepler conjecture
Thomas C. Hales, John Harrison, Sean McLaughlin +3
math.RT2004
Good orbital integrals
Clifton Cunningham, Thomas C. Hales