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