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 functionality.
Version: 0.6.5
General Commands | |
| msolve | manual page for msolve |