Strong version of the basic deciding algorithm for the existential theory of real fields (Q5948014)
From MaRDI portal
scientific article; zbMATH DE number 1667648
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strong version of the basic deciding algorithm for the existential theory of real fields |
scientific article; zbMATH DE number 1667648 |
Statements
Strong version of the basic deciding algorithm for the existential theory of real fields (English)
0 references
30 October 2001
0 references
real algebraic variety
0 references
algorithm of polynomial complexity
0 references
non-empty intersection with every cycle
0 references
