TY  - RPRT
TI  - Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization
AU  - Jonas Bayer
AU  - Marco David
AU  - Malte Hassler
AU  - Yuri Matiyasevich
AU  - Dierk Schleicher
PY  - 2025
UR  - https://arxiv.org/abs/2506.20909
ID  - 2506.20909
ER  -