Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition

Collins, G. E. (1975). Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition. Automata Theory and Formal Languages.

Type

Book chapter

Intellectual base

Review or monograph

Year

1975

DOI

10.1007/3-540-07407-4_17

ISBN

9783540074076

Link

https://doi.org/10.1007/3-540-07407-4_17

Cited by

1 citation across 1 artifact.

Domain-specific

• Cylindrical Algebraic Decomposition
  • Every polynomial in \(P\) has constant sign on each cell, and the cells are cylindrical: projections of two cells onto any lower-dimensional initial coordinate space are either identical or disjoint.

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:42ab1d62f3ad · see in the full table