Tobias Nipkow

1. Code Generation via Higher-Order Rewrite Systems
   2010/01/01 by Florian Haftmann, Tobias Nipkow · 1 voice · 4 citations
   Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Parallel Computing and Optimization Techniques
2. A revision of the proof of the Kepler conjecture
   2009/02/02 by Thomas Hales, Hales, Thomas C., John Harrison +9 · 1 citation
   Physics and Astronomy · #Advanced Mathematical Theories and Applications #FOS: Mathematics #History and Developments in Astronomy #Metric Geometry (math.MG) #Relativity and Gravitational Theory
3. 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