msolve
« Back to VersTracker
Description:
Library for Polynomial System Solving through Algebraic Methods
Type: Formula  |  Latest Version: 0.9.4@0  |  Tracked Since: Dec 12, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: algebra polynomials mathematics gröbner-bases scientific-computing
Install: brew install msolve
About:
Msolve is a C library dedicated to solving systems of polynomial equations using advanced algebraic methods like Gröbner bases. It provides high-performance algorithms for computing polynomial system solutions, ideal for complex mathematical and scientific computations. Its main value proposition is offering a robust, efficient tool for researchers and developers working in computational algebra.
Key Features:
  • Computes Gröbner bases for polynomial systems
  • Solves systems of polynomial equations
  • Handles rational coefficients and modular arithmetic
  • Provides a C library API for integration
Use Cases:
  • Solving algebraic systems in scientific research
  • Symbolic computation in computer algebra systems
  • Modeling and analysis in engineering and physics
Alternatives:
  • Singular – Singular is a comprehensive computer algebra system with polynomial solving capabilities, while msolve focuses specifically on efficient polynomial system solving as a library.
  • Macaulay2 – Macaulay2 is another system for algebraic geometry computations, offering broader features, whereas msolve provides a more targeted, high-performance solution for equation solving.
Version History
Detected Version Rev Change Commit
Dec 12, 2025 11:19am 0 VERSION_BUMP 0e759fc1
Nov 25, 2025 6:48pm 1 VERSION_BUMP a5d34de5
Oct 9, 2025 2:23pm 0 VERSION_BUMP ea95141d
Sep 16, 2025 4:27am 0 VERSION_BUMP f9216101
Sep 11, 2025 8:47am 0 VERSION_BUMP 0308b80b
Sep 11, 2025 8:20am 0 VERSION_BUMP 3233d447