• 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.