The projective noether maple package: computing the dimension of a projective variety

Computing an equidimensional decomposition of an algebraic variety by means of geometric resolutions

ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation

Functional programming concepts and straight-line programs in computer algebra

Mathematics and Computers in Simulation

Computing the equidimensional decomposition of an algebraic closed set by means of lifting fibers

Journal of Complexity

Efficient Algorithms for Computing Nœther Normalization

Computer Mathematics

A parametric representation of totally mixed Nash equilibria

Computers & Mathematics with Applications

Polynomial homotopy continuation with PHCpack

ACM Communications in Computer Algebra

Hierarchical representations with signatures for large expression management

AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation

Global optimization for algebraic geometry --- computing runge---kutta methods

LION'12 Proceedings of the 6th international conference on Learning and Intelligent Optimization