Guaranteed Solution Formula Construction

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

Volumn 1999-January, Issue , 1999, Pages 137-144

  Brown, Christopher W ^a  

^a Institute University of Delaware Newark   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN;

CONSTRUCTION METHOD; CYLINDRICAL ALGEBRAIC DECOMPOSITIONS; ELIMINATION PROBLEM; INTERMEDIATE REPRESENTATIONS; PROPERTY; QUANTIFIER ELIMINATION; SEMI-ALGEBRAIC SETS; SIMPLE++;

ALGEBRA;

EID: 0010555760     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/309831.309890     Document Type: Conference Paper

References (10)

1. ARNON, D. S., COLLINS, G. E., AND MCCALLUM, S. Cylindrical algebraic decomposition i: The basic algorithm. SIAM Journal on Computing 13, 4 (1984). 865-877.
2. COLLINS, G. E. Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. In Lecture Notes In Computer Science (1975), Springer-Verlag, Berlin, pp. 134-183. Vol. 33.
3. COLLINS, G. E. Quantifier elimination by cylindrical algebraic decomposition - 20 years of progress. In Quantifier Elimination and Cylindrical Algebraic Decomposition (1998), B. Caviness and J. Johnson, Eds., Texts and Monographs in Symbolic Computation, Springer-Verlag.
4. COLLINS, G. E., AND HONG, H. Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation 12, 3 (Sep 1991), 299-328.
5. GAREY, M. R., AND JOHNSON, D. S. Computers and Intractability A Guide to the Theory of NP-Completeness. W. H. Freeman and Company, 1979.
6. HONG, H. Improvements in CAD-based Quantifier Elimination. PhD thesis, The Ohio State University, 1990.
7. HONG, H. Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination. In Proc. International Symposium on Symbolic and Algebraic Computation (1992), pp. 177-188.
8. MCCALLUM, S. An improved projection operator for cylindrical algebraic decomposition. In Quantifier Elimination and Cylindrical Algebraic Decomposition (1998), B. Caviness and J. Johnson, Eds., Texts and Monographs in Symbolic Computation, Springer-Verlag, Vienna.
9. STURM, T., AND WEISPFENNING, W. Rounding and blending of solids by a real elimination method. In Proc. IMACS World Congress (1997), pp. 727-732.
10. WEISPFENNING, V. Quantifier elimination for real algebra - the quadratic case and beyond. AAECC 8 (1997), 85-101.