Gertrud Bauer
- A formal proof of the Kepler conjecture
2015/01/09 by Thomas Hales, Mark Adams, Hales, Thomas +41 · 20 citations
Computer Science · Mathematics · #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Metric Geometry (math.MG) #cs.LO #math.MG
- A FORMAL PROOF OF THE KEPLER CONJECTURE
2017/01/01 by Thomas Hales, Mark Adams, Gertrud Bauer +19 · 2 citations
Physics and Astronomy · Mathematics · Medicine · #Advanced Mathematical Theories and Applications #History and Theory of Mathematics #Mathematics and Applications #Formal proof #Kepler #HOL #Conjecture #Proof assistant #Mathematics #Computer science #Calculus (dental) #Discrete mathematics #Programming language #Mathematical proof #Medicine #Stars #Geometry