Diophantine Equations over ℤ: Universal Bounds and Parallel Formalization. - Jonas Bayer; Marco David; Malte Hassler; Yuri V. Matiyasevich; Dierk Schleicher (CoRR, 2025)