Computing generalized inverses using LU factorization of matrix product

Computing Igusa's Local Zeta Functions of Univariate Polynomials, and Linear Feedback Shift Registers

Computing modular correspondences for abelian varieties

Computing Puiseux Series for Algebraic Surfaces

Computing rational points in convex semi-algebraic sets and SOS decompositions

Computing Semi-algebraic Invariants for Polynomial Dynamical Systems

Computing sparse multiples of polynomials

Computing spectral sequences

Computing the fixing group of a rational function

Computing the Hermite Form of a Matrix of Ore Polynomials

Computing the Kalman form

Computing the Rank and a Small Nullspace Basis of a Polynomial Matrix

Connecting Gröbner Bases Programs with Coq to do Proofs in Algebra, Geometry and Arithmetics

Continued Fraction Expansion of Real Roots of Polynomial Systems

Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete

Deflation and Certified Isolation of Singular Zeros of Polynomial Systems

Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages

Detecting lacunary perfect powers and computing their roots

Detecting Simultaneous Integer Relations for Several Real Vectors

Differential Equations for Algebraic Functions