msolve: Open-source library, written in plain C, for solving
multivariate polynomial systems.
FGb: A package for computing Groebner bases; it can be used from Maple or
from any C library.
- GBLA: An open source
C library for linear algebra specialized for eliminating matrices generated during Gröbner basis computations in algorithms like F4 or F5.
- Matrix database of large matrices
coming from Groebner bases computations which are usable in GBLA.
RAGlib : A library for real solving polynomial systems of equations and inequalities.
- PML : The Polynomial Matrix Library (PML) offers
a wide range of tools for efficient computations with univariate polynomial matrices.
- MQsoft : MQsoft is an efficient library in C for implementing various multivariate schemes.