Partial Cylindrical Algebraic Decomposition for quantifier elimination
Journal of Symbolic Computation
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Simplification of quantifier-free formulae over ordered fields
Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
An Improved Projection Operation for Cylindrical Algebraic Decomposition
EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
Improvements in cad-based quantifier elimination
Improvements in cad-based quantifier elimination
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Improved projection for cylindrical algebraic decomposition
Journal of Symbolic Computation
Testing Positiveness of Polynomials
Journal of Automated Reasoning
Solving Geometric Problems with Real Quantifier Elimination
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
VSDITLU: a verifiable symbolic definite integral table look-up
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
QEPCAD B: a program for computing with semi-algebraic sets using CADs
ACM SIGSAM Bulletin
Efficient preprocessing methods for quantifier elimination
CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
Cylindrical algebraic decompositions for boolean combinations
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
| Hi-index | 0.00 |