Geometric completion of differential systems using numeric-symbolic continuation
ACM SIGSAM Bulletin
Functional programming concepts and straight-line programs in computer algebra
Mathematics and Computers in Simulation
Degree bounds and lifting techniques for triangular sets
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Complexity results for triangular sets
Journal of Symbolic Computation - Special issue: International symposium on symbolic and algebraic computation (ISSAC 2002)
Polynomial equation solving by lifting procedures for ramified fibers
Theoretical Computer Science - Algebraic and numerical algorithm
Deformation techniques to solve generalised Pham systems
Theoretical Computer Science - Algebraic and numerical algorithm
Numeric vs. symbolic homotopy algorithms in polynomial system solving: a case study
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
On the complexity of the resolvent representation of some prime differential ideals
Journal of Complexity
Computing multihomogeneous resultants using straight-line programs
Journal of Symbolic Computation
On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms
Proceedings of the 2007 international workshop on Symbolic-numeric computation
Change of order for regular chains in positive dimension
Theoretical Computer Science
Evaluation properties of invariant polynomials
Journal of Symbolic Computation
Numeric vs. symbolic homotopy algorithms in polynomial system solving: a case study
Journal of Complexity - Festschrift for the 70th birthday of Arnold Schönhage
On the complexity of the resolvent representation of some prime differential ideals
Journal of Complexity
Computing isolated roots of sparse polynomial systems in affine space
Theoretical Computer Science
Algorithms for the universal decomposition algebra
Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation
| Hi-index | 0.00 |