algebraic-solving/msolve
Library for Polynomial System Solving through Algebraic Methods
Why it is useful
msolve is a recent open-source project in Computer Algebra. It is included because it has recent repository activity and can support mathematical learning, research, modelling, software development, or AI workflows.
Repository at a glance
- Owner: algebraic-solving
- Primary language: C
- Latest update: 2026-08-02
- Stars / forks: 195 / 33
- License: GPL-2.0
- Links: Official project site
Good starting points
- Read the project README and installation instructions.
- Try the smallest example before changing parameters or datasets.
- Check tests, issues, and release notes before relying on results in teaching or research.
- Cite the repository and its license when reusing code or figures.
README snapshot
| Documentation | |:-------------------------------------------------------------------------:| | [![][docs-stable-img]][docs-stable-url] [![][docs-dev-img]][docs-dev-url] | https://msolve.lip6.fr/ 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 d