Diophantine Equations over $\mathbb{Z}$: Universal Bounds and Parallel Formalization

Jonas Bayer, Marco David, Malte Hassler +2

This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal t…