On Recognizing and Positioning Curved 3-D Objects from Image Contours
IEEE Transactions on Pattern Analysis and Machine Intelligence
A theory for parametric linear systems
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Computations with parametric equations
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
On the symbolic insimplification of the general 6R-manipulator kinematic equations
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Fast hierarchical clustering and other applications of dynamic closest pairs
Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
A New Approach for Automatic Theorem Proving in Real Geometry
Journal of Automated Reasoning
Implicitization of differential rational parametric equations
Journal of Symbolic Computation
Residue calculus and applications
Publications of the Research Institute for Mathematical Sciences
Local parametrization of cubic surfaces
Journal of Symbolic Computation
| Hi-index | 0.00 |