Cylindrical algebraic decomposition I: the basic algorithm
SIAM Journal on Computing
An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
Journal of Symbolic Computation
Partial Cylindrical Algebraic Decomposition for quantifier elimination
Journal of Symbolic Computation
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Factors of iterated resultants and discriminants
Journal of Symbolic Computation
Guaranteed solution formula construction
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
On projection in CAD-based quantifier elimination with equational constraint
ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
On propagation of equational constraints in CAD-based quantifier elimination
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Improved projection for cylindrical algebraic decomposition
Journal of Symbolic Computation
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 (computer algebra, geometry, algorithms)
QEPCAD B: a program for computing with semi-algebraic sets using CADs
ACM SIGSAM Bulletin
Numerical Polynomial Algebra
On using bi-equational constraints in CAD construction
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics)
Solving parametric polynomial systems
Journal of Symbolic Computation
Journal of Symbolic Computation
Computing with semi-algebraic sets represented by triangular decomposition
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Computing with semi-algebraic sets: Relaxation techniques and effective boundaries
Journal of Symbolic Computation
Hi-index | 0.00 |
Let V ⊂ Rr denote the real algebraic variety defined by the conjunction f = 0 ∧ g = 0, where f and g are real polynomials in the variables x1, ..., xr and let S be a submanifold of Rr-2. This paper proposes the notion of the analytic delineability of V on S with respect to the last 2 variables. It is suggested that such a notion could be useful in solving more efficiently certain quantifier elimination problems which contain the conjunction f = 0 ⊂ g = 0 as subformula, using a variation of the CAD-based method. Two bi-equational lifting theorems are proved which provide the basis for such a method.