A hybrid symbolic-numerical method for tracing surface-to-surface intersections
ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Complexity of the Wu-Ritt decomposition
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Decomposing Algebraic Varieties
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Real implicitization of curves and geometric extraneous components
Proceedings of the 2007 international workshop on Symbolic-numeric computation
Differential forms in computational algebraic geometry
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
On the complexity of counting components of algebraic varieties
Journal of Symbolic Computation
Hi-index | 0.00 |