Nipkow, Tobias
- A formal proof of the Kepler conjecture
2015/01/09 by Hales, Thomas, Adams, Mark, Bauer, Gertrud +19 · 19 citations
#FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Metric Geometry (math.MG)
- A revision of the proof of the Kepler conjecture
2009/02/02 by Thomas C. Hales, Thomas Hales, John Harrison +10 · 1 citation
Mathematics · Physics and Astronomy · #Advanced Mathematical Theories and Applications #FOS: Mathematics #History and Developments in Astronomy #Metric Geometry (math.MG) #Relativity and Gravitational Theory #math.MG
- Verification of NP-hardness Reduction Functions for Exact Lattice Problems
2023/06/14 by Katharina Kreuzer, Kreuzer, Katharina, Tobias Nipkow +1 · 2 citations
Computer Science · #68V20 #Advanced Algebra and Logic #Computational Complexity (cs.CC) #F.2.m #FOS: Computer and information sciences #Formal Methods in Verification #Polynomial and algebraic computation