Simplification of truth-invariant cylindrical algebraic decompositions

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

Volumn , Issue , 1998, Pages 295-301

  Brown, Christopher W ^a  

^a UNIVERSITY OF DELAWARE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CALCULATIONS; COMPUTATIONAL COMPLEXITY; INVARIANCE; PROBLEM SOLVING;

CYLINDRICAL ALGEBRAIC DECOMPOSITIONS; QUANTIFIER ELIMINATION;

ALGEBRA;

EID: 0032514313     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/281508.281652     Document Type: Article

References (9)