Software

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.