On Projection in CAD-Based Quantifier Elimination with Equational Constraint

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn 1999-January, Issue , 1999, Pages 145-149

  McCallum, Scott ^a  

^a MACQUARIE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CYLINDRICAL ALGEBRAIC DECOMPOSITIONS; ELIMINATION PROBLEM; PROJECTION METHOD; PROJECTION SETS; QUANTIFIER ELIMINATION; TRIVARIATE;

COMPUTER AIDED DESIGN;

EID: 85139916066     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/309831.309892     Document Type: Conference Paper

References (11)

1. ABHYANKAR, S. S. Algebraic Geometry for Scientists and Engineers. American Mathematical Society. Providence, 1990.
2. ARNON, D. S., COLLINS, G. E., AND MCCALLUM, S. Cylindrical algebraic decomposition i: The basic algorithm. SIAM Journal on Computing 13 (1984), 865-877.
3. COLLINS, G. E. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In Proceedings of 2nd GI Conference on Automata Theory and Formal Languages. Lecture Notes in Computer Science 33 (Berlin, 1975), Springer-Verlag, pp. 134-183.
4. COLLINS, G. E. Quantifier elimination by cylindrical algebraic decomposition twenty years of progress. In Quantifier Elimination and Cylindrical Algebraic Decomposition (Vienna, 1998), B. F. Caviness and J. R. Johnson, Eds., Springer-Verlag, pp. 8-23.
5. COLLINS, G. E., AND HONG, H. Partial cylindrical algebraic decomposition for quantifier elimination. Journul of Symbolic Computation 12 (1991), 299-328.
6. KAPLAN, W. Introduction to Analytic Functions. Addison-Wesley, Reading, 1966.
7. MCCALLUM, S. An Improved Projection Operation for Cylindrical Algebraic Decomposition. PhD thesis, University of Wisconsin-Madison, 1984.
8. MCCALLUM, S. An improved projection operation for cylindrical algebraic decomposition of three-dimensional space. Journal of Symbolic Computation 5 (1988), 141-161.
9. MCCALLUM, S. An improved projection operation for cylindrical algebraic decomposition. In Quantifier Elimination and Cylindrical Algebraic Decomposition (Vienna, 1998), B. F. Caviness and J. R. Johnson, Eds., Springer-Verlag, pp. 242-268.
10. WALKER, R. J. Algebraic Curves. Springer-Verlag, New York, 1978.
11. WHITNEY, H. Complex Analytic Varieties. Addison-Wesley, Menlo Park, 1972.