ABSTRACT
Cylindrical algebraic formulas are an explicit representation of semialgebraic sets as finite unions of cylindrically arranged disjoint cells bounded by graphs of algebraic functions. We present a version of the Cylindrical Algebraic Decomposition (CAD) algorithm customized for efficient computation of arbitrary combinations of unions, intersections and complements of semialgebraic sets given in this representation. The algorithm can also be used to eliminate quantifiers from Boolean combinations of cylindrical algebraic formulas. We show application examples and an empirical comparison with direct CAD computation for unions and intersections of semialgebraic sets.
- C. W. Brown. An overview of qepcad b: a tool for real quantifier elimination and formula simplification. J. JSSAC, 10:13--22, 2003.Google Scholar
- C. W. Brown. Qepcad b - a program for computing with semi-algebraic sets using cads. ACM SIGSAM Bulletin, 37:97--108, 2003. Google ScholarDigital Library
- B. Caviness and J. Johnson, editors. Quantifier Elimination and Cylindrical Algebraic Decomposition, New York, 1998. Springer Verlag.Google ScholarCross Ref
- C. Chen, M. M. Maza, B. Xia, and L. Yang. Computing cylindrical algebraic decomposition via triangular decomposition. In Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2009, pages 95--102. ACM, 2009. Google ScholarDigital Library
- G. E. Collins. Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. Lect. Notes Comput. Sci., 33:134--183, 1975.Google ScholarDigital Library
- G. E. Collins. Application of quantifier elimination to solotareff's approximation problem. RISC Report Series 95--31, University of Linz, Austria, 1995.Google Scholar
- G. E. Collins and H. Hong. Partial cylindrical algebraic decomposition for quantifier elimination. J. Symbolic Comp., 12:299--328, 1991. Google ScholarDigital Library
- H. Hong. An improvement of the projection operator in cylindrical algebraic decomposition. In Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 1990, pages 261--264. ACM, 1990. Google ScholarDigital Library
- D. Lazard. Solving kaltofen's challenge on zolotarev's approximation problem. In Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC 2006, pages 196--203. ACM, 2006. Google ScholarDigital Library
- S. McCallum. An improved projection for cylindrical algebraic decomposition of three dimensional space. J. Symbolic Comp., 5:141--161, 1988. Google ScholarDigital Library
- S. McCallum. An improved projection for cylindrical algebraic decomposition. In B. Caviness and J. Johnson, editors, Quantifier Elimination and Cylindrical Algebraic Decomposition, pages 242--268. Springer Verlag, 1998.Google ScholarCross Ref
- S. L. ojasiewicz. Ensembles semi-analytiques. I. H.E.S., 1964.Google Scholar
- A. Strzeboński. Computing in the field of complex algebraic numbers. J. Symbolic Comp., 24:647--656, 1997. Google ScholarDigital Library
- A. Strzeboński. Solving systems of strict polynomial inequalities. J. Symbolic Comp., 29:471--480, 2000. Google ScholarDigital Library
- A. Strzeboński. Cylindrical algebraic decomposition using validated numerics. J. Symbolic Comp., 41:1021--1038, 2006.Google ScholarCross Ref
- A. Tarski. A decision method for elementary algebra and geometry. University of California Press, 1951.Google ScholarCross Ref
Index Terms
- Computation with semialgebraic sets represented by cylindrical algebraic formulas
Recommendations
Cylindrical algebraic decomposition using local projections
ISSAC '14: Proceedings of the 39th International Symposium on Symbolic and Algebraic ComputationWe present an algorithm which computes a cylindrical algebraic decomposition of a semialgebraic set using projection sets computed for each cell separately. Such local projection sets can be significantly smaller than the global projection set used by ...
Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas
ISSAC '12: Proceedings of the 37th International Symposium on Symbolic and Algebraic ComputationCylindrical algebraic formulas are an explicit representation of semialgebraic sets as finite unions of cylindrically arranged disjoint cells bounded by graphs of algebraic functions. We present a version of the Cylindrical Algebraic Decomposition (CAD) ...
Cylindrical algebraic decomposition using local projections
We present an algorithm which computes a cylindrical algebraic decomposition of a semialgebraic set using projection sets computed for each cell separately. Such local projection sets can be significantly smaller than the global projection set used by ...
Comments