Cylindrical Algebraic Decomposition using validated numerics

Journal of Symbolic Computation

Volumn 41, Issue 9, 2006, Pages 1021-1038

  Strzeboński, Adam W ^a  

^a WOLFRAM RESEARCH INC   (United States)

Author keywords

Algebraic inequalities; Cylindrical Algebraic Decomposition, CAD; Quantifier elimination; Semialgebraic sets; Solving inequalities

Indexed keywords

EID: 33746869360     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2006.06.004     Document Type: Article

References (29)

1. Anai, H., Yokoyama, K., 2005. CAD via numerical computation with validated symbolic reconstruction. In: Dolzmann A., Seidl A., Sturm T. (Eds.), Proceedings of A3L 2005, A3L
2. Brown C.W. Improved projection for cylindrical algebraic decomposition. J. Symbolic Comput. 32 (2001) 447-465
3. Brown C.W. An Overview of QEPCAD B: A tool for real quantifier elimination and formula simplification. J. JSSAC 10 (2003) 13-22
4. Caviness B., and Johnson J. Quantifier Elimination and Cylindrical Algebraic Decomposition (1998), Springer-Verlag, Wien, New York
5. Collins G.E. Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. Lect. Notes Comput. Sci. 33 (1975) 134-183
6. Collins G.E. Quantifier elimination by cylindrical algebraic decomposition - twenty years of progress. In: Caviness B., and Johnson J. (Eds). Quantifier Elimination and Cylindrical Algebraic Decomposition (1998), Springer-Verlag 8-23
7. Collins G.E., and Hong H. Partial cylindrical algebraic decomposition for quantifier elimination. J. Symbolic Comput. 12 (1991) 299-328
8. Collins G.E., Johnson J.R., and Krandick W. Interval arithmetic in cylindrical algebraic decomposition. J. Symbolic Comput. 34 (2002) 145-157
9. Dorato P., Yang W., and Abdallah C. Robust multi-objective feedback design by quantifier elimination. J. Symbolic Comput. 24 (1997) 153-160
10. Hong, H., 1990. An improvement of the projection operator in cylindrical algebraic decomposition. In: Proceedings of the International Symposium on Symbolic and Algebraic Computation. pp. 261-264
11. Hong, H., 1993. Efficient method for analyzing topology of plane real algebraic curves. In: Proceedings of IMACS-SC 93, Lille, France
12. Hong H., Liska R., and Steinberg S. Testing stability by quantifier elimination. J. Symbolic Comput. 24 (1997) 161-188
13. Jenkins, M.A.G., 1969. Three-stage variable-shift iterations for the solution of polynomial equations with a posteriori error bounds for the zeros. Ph.D. Dissertation. Stanford University
14. Jirstrand M. Nonlinear control system design by quantifier elimination. J. Symbolic Comput. 24 (1997) 137-152
15. Keiper, J.B., Withoff, D., 1992. Numerical Computation in Mathematica, Course Notes. In: Mathematica Conference
16. Łojasiewicz, S., 1964. Ensembles semi-analytiques. I.H.E.S., Bures sur Yvette (preprint)
17. Loos R., and Weispfenning V. Applying linear quantifier elimination. The Comput. J. 36 (1993) 450-461
18. McCallum S. An improved projection for cylindrical algebraic decomposition of three dimensional space. J. Symbolic Comput. 5 (1988) 141-161
19. McCallum S. An improved projection for cylindrical algebraic decomposition. In: Caviness B., and Johnson J. (Eds). Quantifier Elimination and Cylindrical Algebraic Decomposition (1998), Springer-Verlag 242-268
20. McCallum S. On projection in CAD-Based quantifier elimination with equational constraint. Proceedings of the International Symposium on Symbolic and Algebraic Computation (1999), ACM Press 145-149
21. McCallum S. On propagation of equational constraints in CAD-Based quantifier elimination. Proceedings of the International Symposium on Symbolic and Algebraic Computation (2001), ACM Press 223-230
22. Strzeboński A. An algorithm for systems of strong polynomial inequalities. The Math. J. 4 4 (1994) 74-77
23. Strzeboński A. Algebraic numbers in mathematica 3.0. The Math. J. 6 4 (1996) 74-80
24. Strzeboński A. Computing in the field of complex algebraic numbers. J. Symbolic Comput. 24 (1997) 647-656
25. Strzeboński A. A real polynomial decision algorithm using arbitrary-precision floating point arithmetic. Reliab. Comput. 5 3 (1999) 337-346
26. Strzeboński A. Solving systems of strict polynomial inequalities. J. Symbolic Comput. 29 (2000) 471-480
27. Strzeboński A. Solving algebraic inequalities. The Math. J. 7 4 (2000) 525-541
28. Tarski A. A Decision Method for Elementary Algebra and Geometry (1951), University of California Press, Berkeley
29. Wolfram S. The Mathematica Book, 5th ed (2003), Wolfram Media