GitHub topics: groebner-basis
sumiya11/Groebner.jl
Groebner bases in (almost) pure Julia
Language: Julia - Size: 144 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 71 - Forks: 13
benruijl/symbolica
A modern computer algebra library for Python and Rust.
Language: Rust - Size: 3.68 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 636 - Forks: 27
Macaulay2/M2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Language: Macaulay2 - Size: 91.8 MB - Last synced at: 2 days ago - Pushed at: 6 days ago - Stars: 384 - Forks: 258
gussttaav/GBLA_LC
C++ tool for linear code analysis using Gröbner bases. Computes leader codewords, tests code equivalence, and analyzes automorphism groups based on recent coding theory research.
Language: C++ - Size: 39.1 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0
hadipourh/autoguess
An easy-to-use, general and open-source tool to solve the guess-and-determine problem
Language: Python - Size: 24.3 MB - Last synced at: 7 days ago - Pushed at: 15 days ago - Stars: 29 - Forks: 4
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
sdiehl/groebner
Faugère's F4 algorithm for computing Gröbner basis for systems of multivariate polynomials
Language: Rust - Size: 77.1 KB - Last synced at: 16 days ago - Pushed at: 2 months ago - Stars: 4 - Forks: 0
konn/computational-algebra
General-Purpose Computer Algebra System as an EDSL in Haskell
Language: HTML - Size: 117 MB - Last synced at: 5 days ago - Pushed at: 12 months ago - Stars: 92 - Forks: 9
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
Hagb/lean-groebner 📦
Lean4 formalization of Gröbner basis (WIP)
Language: Lean - Size: 164 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 6 - Forks: 1
tim-becker/pyalgebra
Toy computer algebra system in pure python
Language: Python - Size: 7.81 KB - Last synced at: about 1 month ago - Pushed at: over 7 years ago - Stars: 4 - Forks: 0
foo123/Abacus
Advanced Combinatorics and Algebraic Number Theory Symbolic Computation library for JavaScript, Python
Language: JavaScript - Size: 5.12 MB - Last synced at: 5 months ago - Pushed at: 8 months ago - Stars: 22 - Forks: 5
isec-tugraz/ca-tip5family-monolith
Opening the Blackbox: Collision attacks on round-reduced Tip5, Tip4, Tip4’ and Monolith.
Language: Jupyter Notebook - Size: 4 MB - Last synced at: 7 months ago - Pushed at: 10 months ago - Stars: 5 - Forks: 0
PoslavskySV/rings
Rings: efficient JVM library for polynomial rings
Language: Java - Size: 24.7 MB - Last synced at: 4 months ago - Pushed at: almost 2 years ago - Stars: 74 - Forks: 10
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
jmbr/cl-buchberger 📦
Buchberger's algorithm in Common Lisp. Moved to https://git.sr.ht/~jmbr/cl-buchberger
Language: Common Lisp - Size: 24.4 KB - Last synced at: about 1 year ago - Pushed at: almost 5 years ago - Stars: 10 - 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
agievich/GF2
A C++ library for algebra over GF(2)
Language: C++ - Size: 202 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 5
mwageringel/fgb_sage
A Sage interface for FGb (Gröbner basis computations)
Language: Python - Size: 38.1 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 23 - Forks: 0
dylanpeifer/FGLM
A Macaulay2 package implementing the FGLM algorithm for computing Groebner bases.
Size: 17.6 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
kovzol/groebner-solitaire
A one-person game that visualizes Buchberger's algorithm to find the reduced Gröbner basis of a set of binomials over ℤ₂[𝑥,𝑦]
Language: HTML - Size: 12.1 MB - Last synced at: 22 days ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1
Daniel2000815/multivariate-polynomial
A javascript library to work with polynomials in Q and multiple variables.
Language: TypeScript - Size: 14.5 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
SteinerMatthias/m4gb_sage
A SageMath interface for M4GB.
Language: Python - Size: 18.6 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0
johnperry-math/DynGB
Testbed for exploring dynamic algorithms to compute a Groebner basis
Language: C++ - Size: 43.6 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
valmig/groebner_basics
c++ programs on groebner basis and polynomial ideals computation
Language: C++ - Size: 29.3 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
PavelTrutman/Automatic-Generator
Automatic generator of Groebner basis solvers.
Language: Matlab - Size: 5.37 MB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 30 - Forks: 14
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
isaf27/groebner_basis
Groebner basis university project
Language: C++ - Size: 64.5 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
kovzol/buchberger-singular
Explain Buchberger's algorithm by using Singular as a backend
Language: PHP - Size: 213 KB - Last synced at: 7 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
dylanpeifer/GroebnerWalk
A Macaulay2 package implementing the Groebner walk algorithm for computing Groebner bases.
Size: 21.5 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0