The complexity of elementary algebra and geometry
Journal of Computer and System Sciences
Journal of Symbolic Computation
Complexity of computation on real algebraic numbers
Journal of Symbolic Computation
Towards computing non algebraic cylindrical decompositions
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Automated Discovering and Proving for Geometric Inequalities
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Algorithms to compute the topology of orientable real algebraic surfaces
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
An elementary proof of Sylvester's double sums for subresultants
Journal of Symbolic Computation
On the complexity of real solving bivariate systems
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Real Algebraic Numbers: Complexity Analysis and Experimentation
Reliable Implementation of Real Number Algorithms: Theory and Practice
Real algebraic numbers and polynomial systems of small degree
Theoretical Computer Science
On the asymptotic and practical complexity of solving bivariate systems over the reals
Journal of Symbolic Computation
On the topology of planar algebraic curves
Proceedings of the twenty-fifth annual symposium on Computational geometry
Birational properties of the gap subresultant varieties
Journal of Symbolic Computation
SyNRAC: a Maple-package for solving real algebraic constraints
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Parallel computation of determinants of matrices with polynomial entries for robust control design
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation
Solution formulas for cubic equations without or with constraints
Journal of Symbolic Computation
Semi-algebraic description of the equilibria of dynamical systems
CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
Quantifier elimination for quartics
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
| Hi-index | 0.00 |