The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
-
Updated
Jun 28, 2024 - Macaulay2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Library for Polynomial System Solving through Algebraic Methods
Automatic generator of Groebner basis solvers.
Groebner bases in (almost) pure Julia
Rings: efficient JVM library for polynomial rings
General-Purpose Computer Algebra System as an EDSL in Haskell
Advanced Combinatorics and Algebraic Number Theory Symbolic Computation library for JavaScript, Python
An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
Utility for computing boolean Groebner bases with Buchberger's algorithm
A one-person game that visualizes Buchberger's algorithm to find the reduced Gröbner basis of a set of binomials over ℤ₂[𝑥,𝑦]
Utility for computing boolean Groebner bases with involutive Pommaret algorithm
An educational purposes repository with algorithms for solving SAT problems with Groebner Bases.
Series of benchmarks for computing boolean Groebner bases
Utility for computing boolean Groebner bases with involutive Janet algorithm
Groebner basis university project
Toy computer algebra system in pure python
Explain Buchberger's algorithm by using Singular as a backend
A Macaulay2 package implementing the Groebner walk algorithm for computing Groebner bases.
Buchberger's algorithm in Common Lisp. Moved to https://git.sr.ht/~jmbr/cl-buchberger
Add a description, image, and links to the groebner-basis topic page so that developers can more easily learn about it.
To associate your repository with the groebner-basis topic, visit your repo's landing page and select "manage topics."