msolve is a library, written in plain C, for solving
multivariate polynomial systems.
msolve release v0.7.2
DownloadFeatures
- msolve is based on computer algebra a.k.a. symbolic computation
for exact polynomial system solving - msolve provides an algebraic/exact encoding of solutions
- msolve uses advanced Groebner bases algorithms
(F4, change of orderings, etc.) - msolve targets higher efficiency through multi-threading and vectorization
- msolve is distributed under the license GPLv2+