A bibliography of quantifier elimination for real closed fields
- 1 February 1988
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 5 (1-2), 267-274
- https://doi.org/10.1016/s0747-7171(88)80016-6
Abstract
No abstract availableThis publication has 49 references indexed in Scilit:
- Geometric reasoning with logic and algebraArtificial Intelligence, 1988
- On mechanical quantifier elimination for elementary algebra and geometryJournal of Symbolic Computation, 1988
- A polynomial-time algorithm for the topological type of a real algebraic curveJournal of Symbolic Computation, 1988
- Algebraic decomposition of regular curvesJournal of Symbolic Computation, 1988
- Compliant motion planning with geometric modelsPublished by Association for Computing Machinery (ACM) ,1987
- The complexity of elementary algebra and geometryJournal of Computer and System Sciences, 1986
- On the real spectrum of a ring and its application to semialgebraic geometryBulletin of the American Mathematical Society, 1986
- Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the PlaneSIAM Journal on Computing, 1984
- Cylindrical algebraic decomposition by quantifier eliminationLecture Notes in Computer Science, 1982
- A cellular decomposition algorithm for semialgebraic setsLecture Notes in Computer Science, 1979