David, Marco
- 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