Diophantine Equations over Z: Universal Bounds and Parallel Formalization

arXiv:2506.20909 · math.NT, cs.LO · Submitted 2025-06-26 · Read on arXiv

math.NT, cs.LO

Submitted: 2025-06-26

Updated: 2026-10-22

Terminology

• Verification — 2× in this paper · explained in 2 episodes
• Formal Verification — 1× in this paper · explained in 2 episodes

Related papers

• Coefficient choice in Galois-ring lifts of APN permutations: sharp unit-direction spectra and one-term optimal lifts
• The twisted convolution identity and ghost r-SICs from finite quantum dilogarithms
• Smoothness of Shortest Isogenies to Frobenius Conjugates
• Supersingularity and Superspeciality Verification of Abelian Surfaces
• Optimal Reduced Representatives of Quadratic APN Permutations in Odd Dimension
• Second order Recurrences, quadratic number fields and cyclic codes