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.