A modular method to compute the rational univariate representation of zero-dimensional ideals

Yet another practical implementation of polynomial factorization over finite fields

Proceedings of the 2002 international symposium on Symbolic and algebraic computation

Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization

Proceedings of the 2007 international symposium on Symbolic and algebraic computation

Symbolic optimization of algebraic functions

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation

A new Gröbner basis conversion method based on stabilization techniques

Theoretical Computer Science

Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem

Journal of Symbolic Computation

Solution of algebraic riccati equations using the sum of roots

Proceedings of the 2009 international symposium on Symbolic and algebraic computation

Solutions of polynomial systems derived from the steady cavity flow problem

Proceedings of the 2009 international symposium on Symbolic and algebraic computation

Modular Algorithms for Computing a Generating Set of the Syzygy Module

CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing

Stratification associated with local b-functions

Journal of Symbolic Computation

Usage of modular techniques for efficient computation of ideal operations

CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing