The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
-
Updated
Jun 6, 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
Series of benchmarks for computing boolean Groebner bases
An educational purposes repository with algorithms for solving SAT problems with Groebner Bases.
Utility for computing boolean Groebner bases with involutive Janet algorithm
Groebner basis university project
Explain Buchberger's algorithm by using Singular as a backend
Toy computer algebra system in pure python
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."