Mathematical Publications of Thomas C. Hales

(This page is still under construction.)

"Best-of" lists

• Top 10 publications
• Most recent preprints

Publication types

• Books
• Expository articles
• Slides from talks
• Articles on and popular accounts of Hales's research by other writers

Publications by research area

• Formal Proof and computer proofs
• Discrete geometry (Kepler conjecture, honeycomb conjecture, etc.)
• Motivic Integration
• Langlands Program (fundamental lemma, representations of p-adic reductive groups, etc.)

Supplementary materials.

• All publications
• All abstracts
• Computer software
• Export citations