Marco David
- A Formal Proof of Complexity Bounds on Diophantine Equations
2025/01/01 by Jonas Bayer, Marco David, Bayer, Jonas +1 · 8 voices
Mathematics · Computer Science · #Commutative Algebra and Its Applications #Mathematical Dynamics and Fractals #Polynomial and algebraic computation
- Mathematical Proof Between Generations
2022/07/08 by Jonas Bayer, Christoph Benzmüller, Kevin Buzzard +7 · 1 voice
Mathematics · Computer Science · #math.HO #cs.LO