Jonas Bayer, Marco David. A Formal Proof of Complexity Bounds on Diophantine Equations. In Yannick Forster 0001, Chantal Keller, editors, 16th International Conference on Interactive Theorem Proving, ITP 2025, September 28 to October 1, 2025, Reykjavik, Iceland. Volume 352 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
No reviews for this publication, yet.