Improperly parametrized rational curves
Computer Aided Geometric Design
Basic principles of mechanical theorem proving in elementary geometrics
Journal of Automated Reasoning
Journal of Symbolic Computation
Applications of Gro¨bner bases in non-linear computational geometry
Trends in computer algebra
On local implicit approximation and its applications
ACM Transactions on Graphics (TOG) - Special issue on computer-aided design
Ritt-Wu's decomposition algorithm and geometry theorem proving
CADE-10 Proceedings of the tenth international conference on Automated deduction
Implicitization of Rational Parametric Curves and Surfaces
AAECC-8 Proceedings of the 8th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Implicitizing Rational Parametric Surfaces
Implicitizing Rational Parametric Surfaces
Implicitization of Rational Parametric Equations
Implicitization of Rational Parametric Equations
Independent Parameters, Inversions and Proper Parameterization
Independent Parameters, Inversions and Proper Parameterization
Solving parametric algebraic systems
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Implicitization of hypersurfaces and curves by the Primbasissatz and basis conversion
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Rational general solutions of algebraic ordinary differential equations
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Real implicitization of curves and geometric extraneous components
Proceedings of the 2007 international workshop on Symbolic-numeric computation
Some notes upon "When does equal sat(T)?"
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Some properties of triangular sets and improvement upon algorithm charser
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Algorithms for computing triangular decomposition of polynomial systems
Journal of Symbolic Computation
Comprehensive triangular decomposition
CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing
| Hi-index | 0.00 |