A transfer method from bounded existential Diophantine equations to Tarski algebra formulas (Q1686076)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A transfer method from bounded existential Diophantine equations to Tarski algebra formulas |
scientific article; zbMATH DE number 6820625
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A transfer method from bounded existential Diophantine equations to Tarski algebra formulas |
scientific article; zbMATH DE number 6820625 |
Statements
A transfer method from bounded existential Diophantine equations to Tarski algebra formulas (English)
0 references
20 December 2017
0 references
bounded existential Diophantine equations
0 references
Tarski algebra
0 references
size-bounded quadratic residue problem
0 references
subexponential time algorithms
0 references
0.87153584
0 references
0.85056865
0 references
0.8464191
0 references
0.8459655
0 references
0.8401366
0 references
0.8388665
0 references
