pith. sign in

Thomas C. Hales

Identifiers

  • name variant Thomas C. Hales 0.60 · backfill

Papers (27)

  1. Developments in Formal Proofs cs.LO · 2014 · author #1
  2. Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations cs.LO · 2013 · author #2
  3. A Proof of Fejes Toth's Conjecture on Sphere Packings with Kissing Number Twelve math.MG · 2012 · author #1
  4. The Strong Dodecahedral Conjecture and Fejes Toth's Conjecture on Sphere Packings with Kissing Number Twelve math.MG · 2011 · author #1
  5. On the Reinhardt Conjecture math.MG · 2011 · author #1
  6. The fundamental lemma and the Hitchin fibration [after Ngo Bao Chau] math.RT · 2011 · author #1
  7. The Work of Ngo Bao Chau math.NT · 2010 · author #1
  8. A revision of the proof of the Kepler conjecture math.MG · 2009 · author #1
  9. What is Motivic Measure? math.AG · 2003 · author #1
  10. A Statement of the Fundamental Lemma math.RT · 2003 · author #1
  11. Good orbital integrals math.RT · 2003 · author #2
  12. A computer verification of the Kepler conjecture math.MG · 2003 · author #1
  13. Orbital Integrals are Motivic math.RT · 2002 · author #1
  14. The Honeycomb Problem on the Sphere math.MG · 2002 · author #1
  15. Virtual Transfer Factors math.RT · 2002 · author #2
  16. Some algorithms arising in the proof of the Kepler conjecture math.MG · 2002 · author #1
  17. Sphere Packings in 3 Dimensions math.MG · 2002 · author #1
  18. Can p-adic integrals be computed? math.RT · 2002 · author #1
  19. The Honeycomb Conjecture math.MG · 1999 · author #1
  20. A proof of the dodecahedral conjecture math.MG · 1998 · author #1
  21. The Kepler conjecture math.MG · 1998 · author #1
  22. Sphere packings IV math.MG · 1998 · author #1
  23. Sphere packings III math.MG · 1998 · author #1
  24. Sphere packings II math.MG · 1998 · author #1
  25. Sphere packings I math.MG · 1998 · author #1
  26. A formulation of the Kepler conjecture math.MG · 1998 · author #2
  27. 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