FGb: A package for computing Groebner bases; it can be used from Maple or from any C library.
RAGlib : A library for real solving polynomial systems of equations and inequalities
- GBLA is an open source C library for linear algebra specialized for eliminating matrices generated during Gröbner basis computations in algorithms like F4 or F5.
- SLV is an open source C library for isolating and approximating the real roots of univariate polynomials with integer coefficients.
- Matrix database of large matrices comin from GB computations whichare usable in GBLA.
Epsilon : Epsilon is a library of functions implemented in Maple and Java for polynomial elimination and decomposition with (geometric) applications.