Real Quantifier Elimination is Doubly Exponential¶

Davenport, J. H., & Heintz, J. (1988). Real Quantifier Elimination is Doubly Exponential. Journal of Symbolic Computation, 7171(88), 29-35.

Type: Journal article
Intellectual base: Primary research
Year: 1988
DOI: 10.1016/s0747-7171(88)80004-x
Link: https://doi.org/10.1016/s0747-7171(88)80004-x

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Cylindrical Algebraic Decomposition
- General real quantifier elimination has doubly exponential lower-bound families, so CAD's complexity warning is structural rather than merely an implementation defect.

Verification¶

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:cc1c5cec541f · see in the full table