Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Real solving for positive dimensional systems
Journal of Symbolic Computation
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
The voronoi diagram of three lines
SCG '07 Proceedings of the twenty-third annual symposium on Computational geometry
Computing the global optimum of a multivariate polynomial over the reals
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
Deciding reachability of the infimum of a multivariate polynomial
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Counting the number of connected components of a set and its application to robotics
PARA'04 Proceedings of the 7th international conference on Applied Parallel Computing: state of the Art in Scientific Computing
Verified error bounds for real solutions of positive-dimensional polynomial systems
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Finding points on real solution components and applications to differential polynomial systems
Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation
Numerically Computing Real Points on Algebraic Sets
Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
Hi-index | 0.00 |