Sur la complexité du principe de Tarski-Seidenberg (Q4713865)
From MaRDI portal
scientific article; zbMATH DE number 6848
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sur la complexité du principe de Tarski-Seidenberg |
scientific article; zbMATH DE number 6848 |
Statements
Sur la complexité du principe de Tarski-Seidenberg (English)
0 references
25 June 1992
0 references
real closed field
0 references
polynomial complexity
0 references
algorithm for quantifier elimination
0 references
simple exponential complexity
0 references
sequential model
0 references
parallel model
0 references
0 references
0 references
