![]() |
Volumn , Issue , 1998, Pages 295-301
|
Simplification of truth-invariant cylindrical algebraic decompositions
|
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 |
Times cited : (11)
|
References (9)
|