Partial Cylindrical Algebraic Decomposition for quantifier elimination
- 1 September 1991
- journal article
- Published by Elsevier BV in Journal of Symbolic Computation
- Vol. 12 (3), 299-328
- https://doi.org/10.1016/s0747-7171(08)80152-6
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- On mechanical quantifier elimination for elementary algebra and geometryJournal of Symbolic Computation, 1988
- A cluster-based cylindrical algebraic decomposition algorithmJournal of Symbolic Computation, 1988
- Cylindrical Algebraic Decomposition I: The Basic AlgorithmSIAM Journal on Computing, 1984