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