Pages that link to "Item:Q1807463"
From MaRDI portal
The following pages link to A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers (Q1807463):
Displaying 6 items.
- Towards finite-fold Diophantine representations (Q393229) (← links)
- Existential arithmetization of Diophantine equations (Q1006616) (← links)
- Reduction of unknowns in diophantine representations (Q1201599) (← links)
- A transfer method from bounded existential Diophantine equations to Tarski algebra formulas (Q1686076) (← links)
- Hilbert's Tenth Problem in Coq (Q5089029) (← links)
- (Q5094119) (← links)