Solving systems of polynomial inequalities over a real closed field in subexponential time (Q804242)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Solving systems of polynomial inequalities over a real closed field in subexponential time |
scientific article |
Statements
Solving systems of polynomial inequalities over a real closed field in subexponential time (English)
0 references
1991
0 references
[For the entire collection see Zbl 0657.00011.] See the review in Zbl 0683.65045.
0 references
complexity of calculus
0 references
algorithm
0 references
systems of polynomial inequalities
0 references
infinitesimal calculus
0 references
