Every Diophantine set over the naturals has an integer representation with only 11 unknowns and degree below an explicit but huge bound.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.NT 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization
Every Diophantine set over the naturals has an integer representation with only 11 unknowns and degree below an explicit but huge bound.