Publications

 

“Best-of” lists

• Top 10 publications
• Most recent preprints

Publication by type

• All publications
• 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 abstracts
• Computer software
• Video
• Export citations