Toy computer algebra system in pure python

Groebner basis university project

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

Testbed for exploring dynamic algorithms to compute a Groebner basis

c++ programs on groebner basis and polynomial ideals computation

Lean4 formalization of Gröbner basis (WIP)

A javascript library to work with polynomials in Q and multiple variables.

A fast program for computing Groebner bases

A Sage interface for FGb (Gröbner basis computations)

A Macaulay2 package implementing the FGLM algorithm for computing Groebner bases.

A SageMath interface for M4GB.

A one-person game that visualizes Buchberger's algorithm to find the reduced Gröbner basis of a set of binomials over ℤ₂[𝑥,𝑦]

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

Utility for computing boolean Groebner bases with involutive Pommaret algorithm

Utility for computing boolean Groebner bases with Buchberger's algorithm

An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges