Thomas C. Hales
Identifiers
- name variant Thomas C. Hales 0.60 · backfill
Papers (27)
- Developments in Formal Proofs cs.LO · 2014 · author #1
- Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations cs.LO · 2013 · author #2
- A Proof of Fejes Toth's Conjecture on Sphere Packings with Kissing Number Twelve math.MG · 2012 · author #1
- The Strong Dodecahedral Conjecture and Fejes Toth's Conjecture on Sphere Packings with Kissing Number Twelve math.MG · 2011 · author #1
- On the Reinhardt Conjecture math.MG · 2011 · author #1
- The fundamental lemma and the Hitchin fibration [after Ngo Bao Chau] math.RT · 2011 · author #1
- The Work of Ngo Bao Chau math.NT · 2010 · author #1
- A revision of the proof of the Kepler conjecture math.MG · 2009 · author #1
- What is Motivic Measure? math.AG · 2003 · author #1
- A Statement of the Fundamental Lemma math.RT · 2003 · author #1
- Good orbital integrals math.RT · 2003 · author #2
- A computer verification of the Kepler conjecture math.MG · 2003 · author #1
- Orbital Integrals are Motivic math.RT · 2002 · author #1
- The Honeycomb Problem on the Sphere math.MG · 2002 · author #1
- Virtual Transfer Factors math.RT · 2002 · author #2
- Some algorithms arising in the proof of the Kepler conjecture math.MG · 2002 · author #1
- Sphere Packings in 3 Dimensions math.MG · 2002 · author #1
- Can p-adic integrals be computed? math.RT · 2002 · author #1
- The Honeycomb Conjecture math.MG · 1999 · author #1
- A proof of the dodecahedral conjecture math.MG · 1998 · author #1
- The Kepler conjecture math.MG · 1998 · author #1
- Sphere packings IV math.MG · 1998 · author #1
- Sphere packings III math.MG · 1998 · author #1
- Sphere packings II math.MG · 1998 · author #1
- Sphere packings I math.MG · 1998 · author #1
- A formulation of the Kepler conjecture math.MG · 1998 · author #2
- An overview of the Kepler conjecture math.MG · 1998 · author #1
Mentions
- 1408.6474 #1 · backfill · confidence 0.70 Thomas C. Hales
- 1301.1702 #2 · backfill · confidence 0.70 Thomas C. Hales
- 1209.6043 #1 · backfill · confidence 0.70 Thomas C. Hales
- 1110.0402 #1 · backfill · confidence 0.70 Thomas C. Hales
- 1103.4518 #1 · backfill · confidence 0.70 Thomas C. Hales
- 1103.4066 #1 · backfill · confidence 0.70 Thomas C. Hales
- 1012.0382 #1 · backfill · confidence 0.70 Thomas C. Hales
- 0902.0350 #1 · backfill · confidence 0.70 Thomas C. Hales
Frequent Coauthors
- Sean McLaughlin 2 shared papers
- Alexey Solovyev 1 shared papers
- Clifton Cunningham 1 shared papers
- John Harrison 1 shared papers
- Julia Gordon 1 shared papers
- Roland Zumkeller 1 shared papers
- Samuel P. Ferguson 1 shared papers
- Steven Obua 1 shared papers
- Tobias Nipkow 1 shared papers