msolve : Multivariate polynomial systems solving

Team : PolSys

msolve is a C library for solving multivariate polynomial systems. It relies on algebraic algorithms, in particular Gröbner bases. It allows the user to solve exactly polynomial systems with rational coefficients (real root isolation) and coefficients in a finite field (of cardinality < 2^31). msolve provides high-performance implementations of algorithms which are known to be beyond the most efficient in this area. The library can be used through various computer algebra systems and is already integrated in OSCAR and SageMath. msolve is developed in collaboration with Christian Eder (TU Kaiserslautern, Germany).

Software leader : Mohab Safey El Din