Thomas Hales
- A proof of the Kepler conjecture
2005/11/01 by Thomas Hales · 47 citations
Mathematics · Physics and Astronomy · #Mathematics and Applications #Advanced Mathematical Theories and Applications #History and Developments in Astronomy
- Mathematics in the Age of the Turing Machine
2013/02/12 by Thomas Hales, Hales, Thomas · 1 voice
#math.HO
- The Spherical Hecke algebra, partition functions, and motivic\n integration
2016/11/17 by W. Casselman, Jorge E. Cely, Casselman, William +3 · 1 citation
Mathematics · #Advanced Algebra and Geometry #advanced mathematical theories #Algebraic Geometry and Number Theory