On propagation of equational constraints in CAD-based quantifier elimination

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

Volumn , Issue , 2001, Pages 223-230

  McCallum, S ^a  

^a MACQUARIE UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GEOMETRY; COMPUTER AIDED ANALYSIS; CONSTRAINT THEORY; POLYNOMIALS; PROBLEM SOLVING; SET THEORY;

CYLINDRICAL ALGEBRAIC DECOMPOSITION; EQUATIONAL CONSTRAINTS; QUANTIFIER ELIMINATION PROBLEMS;

THEOREM PROVING;

EID: 0034777338     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/384101.384132     Document Type: Conference Paper

References (12)

1. Cylindrical algebraic decomposition i: The basic algorithm
2. Quantifier elimination for real closed fields by cylindrical algebraic decomposition
3. Quantifier elimination by cylindrical algebraic decomposition - Twenty years of progress
4. Partial cylindrical algebraic decomposition for quantifier elimination
5. Computing in algebraic extensions
6. An improved projection operation for cylindrical algebraic decomposition
7. An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
8. An improved projection operation for cylindrical algebraic decomposition
9. On projection in cad-based quantifier elimination with equational constraint