On using bi-equational constraints in CAD construction
Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Polynomial equations with one catalytic variable, algebraic series and map enumeration
Journal of Combinatorial Theory Series B
Fast and exact geometric analysis of real algebraic plane curves
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Journal of Symbolic Computation
On delineability of varieties in CAD-based quantifier elimination with two equational constraints
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
| Hi-index | 0.00 |