Software

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