groebner-basis 开源项目推荐（38 个）

symbolica-dev /symbolica

Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.

Macaulay2 /M2

The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

algebraic-solving /msolve

Library for Polynomial System Solving through Algebraic Methods

konn /computational-algebra

General-Purpose Computer Algebra System as an EDSL in Haskell

PoslavskySV /rings

Rings: efficient JVM library for polynomial rings

sumiya11 /Groebner.jl

Groebner bases in (almost) pure Julia

mwageringel /fgb_sage

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

PavelTrutman /Automatic-Generator

Automatic generator of Groebner basis solvers.

hadipourh /autoguess

一个易于使用、通用且开源的工具，用于解决猜测与确定问题

foo123 /Abacus

面向 JavaScript 的组合数学与代数数论的计算机代数与符号计算系统

agievich /GF2

A C++ library for algebra over GF(2)

jmbr /cl-buchberger

Buchberger's algorithm in Common Lisp. Moved to https://git.superadditive.com/jmbr/cl-buchberger

Hagb /lean-groebner

Lean4 formalization of Gröbner basis (WIP)

sdiehl /groebner

Buchberger and F4 algorithms for computing Gröbner basis for systems of multivariate polynomials

pavel-fokin /SymbSAT

An educational purposes repository with algorithms for solving SAT problems with Groebner Bases.

gblanco92 /gamba

A fast program for computing Groebner bases

mzinin /groebner_benchmarks

Series of benchmarks for computing boolean Groebner bases

tim-becker /pyalgebra

Toy computer algebra system in pure python

mzinin /bpb

Utility for computing boolean Groebner bases with involutive Pommaret algorithm

isec-tugraz /ca-tip5family-monolith

Opening the Blackbox: Collision attacks on round-reduced Tip5, Tip4, Tip4’ and Monolith.