A cluster-based cylindrical algebraic decomposition algorithm
- 30 April 1988
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 5 (1-2) , 189-212
- https://doi.org/10.1016/s0747-7171(88)80012-9
Abstract
No abstract availableKeywords
This publication has 10 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
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional spaceJournal of Symbolic Computation, 1988
- An adjacency algorithm for cylindrical algebraic decompositions of three-dimenslonal spaceJournal of Symbolic Computation, 1988
- On Approximations and Incidence in Cylindrical Algebraic DecompositionsSIAM Journal on Computing, 1986
- Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the PlaneSIAM Journal on Computing, 1984
- Cylindrical Algebraic Decomposition I: The Basic AlgorithmSIAM Journal on Computing, 1984
- On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifoldsAdvances in Applied Mathematics, 1983
- A cellular decomposition algorithm for semialgebraic setsPublished by Springer Nature ,1979