Quantifier elimination for formulas constrained by quadratic equations
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Implementing non-linear constraints with cooperative solvers
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Computer algebra handbook
Hi-index | 0.00 |