Mathematics
and Interactions

Thomas C. Hales

zbMATH link

• 2 videos
  

  01:10:24

  published on June 21, 2014

  [1086] Developments in formal proofs

  By Thomas C. Hales

  

  43:18

  published on April 22, 2014

  Formalizing the proof of the Kepler Conjecture

  By Thomas C. Hales