A transfer method from bounded existential Diophantine equations to Tarski algebra formulas
DOI10.1016/j.tcs.2017.10.013zbMath1382.68084OpenAlexW2767881026MaRDI QIDQ1686076
Publication date: 20 December 2017
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2017.10.013
Tarski algebrabounded existential Diophantine equationssize-bounded quadratic residue problemsubexponential time algorithms
Decidability (number-theoretic aspects) (11U05) Number-theoretic algorithms; complexity (11Y16) Diophantine equations in many variables (11D72) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Model theory (number-theoretic aspects) (11U09)
Cites Work
This page was built for publication: A transfer method from bounded existential Diophantine equations to Tarski algebra formulas