GitHub topics: groebner
algebraic-solving/msolve
Library for Polynomial System Solving through Algebraic Methods
Language: C - Size: 3.2 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 141 - Forks: 29
gblanco92/gamba
A fast program for computing Groebner bases
Language: C++ - Size: 75.4 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 5 - Forks: 0
mzinin/bjb
Utility for computing boolean Groebner bases with involutive Janet algorithm
Language: C++ - Size: 143 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 1
mzinin/bpb
Utility for computing boolean Groebner bases with involutive Pommaret algorithm
Language: C++ - Size: 308 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 2
mzinin/buchberger
Utility for computing boolean Groebner bases with Buchberger's algorithm
Language: C++ - Size: 86.9 KB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 3
mzinin/groebner_benchmarks
Series of benchmarks for computing boolean Groebner bases
Language: Python - Size: 3.64 MB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 6 - Forks: 1
JuanGdelaCruz/GrobnerBasis
Library for computing Gröbner Basis in .NET. Includes sample application that checks if a given graph is k-colorable using the API.
Language: C# - Size: 777 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0
pavel-fokin/SymbSAT
An educational purposes repository with algorithms for solving SAT problems with Groebner Bases.
Language: Python - Size: 143 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 3 - Forks: 1
