Package msolve

Polynomial System Solving through Algebraic Methods

msolve is an open source C library implementing computer algebra
algorithms for solving polynomial systems (with rational coefficients or
coefficients in a prime field).

Currently, with msolve, you can basically solve multivariate polynomial
systems.  This encompasses:
- the computation of Groebner bases
- real root isolation of the solutions to polynomial systems
- the computation of the dimension and the degree of the solution set
  and many other things you can do using msolve.

This package contains a command line tool to access the msolve

Version: 0.6.5

General Commands

msolve manual page for msolve