
Gfan
 Referenced in 105 articles
[sw04698]
 ideal. Their union is a universal Gröbner basis. The tropical variety of a polynomial ideal ... manual. For ordinary Gröbner basis computations Gfan is not competitive in speed compared to programs...

PolyBoRi
 Referenced in 43 articles
[sw00723]
 work presents a new framework for Gröbnerbasis computations with Boolean polynomials. Boolean polynomials ... appropriate for fast Gröbnerbasis computations. We introduce a specialised data structure for Boolean polynomials ... uselesspair criterion for Gröbnerbasis computations in Boolean rings is introduced ... believe that our preliminary implementation shows that Gröbnerbases on specific data structures...

diffgrob2
 Referenced in 48 articles
[sw11328]
 those by Buchberger for a Gröbner basis of a polynomial ideal. This package...

GEX
 Referenced in 33 articles
[sw09961]
 Geometry Expert (GEX) is a software for dynamic...

Lugares
 Referenced in 17 articles
[sw09861]
 A software tool for the investigation of plane...

hgm R
 Referenced in 16 articles
[sw08770]
 Software Packages for Holonomic Gradient Method. The numerical...

ffmodstd
 Referenced in 5 articles
[sw27228]
 SINGULAR Library ffmodstd.lib: Groebner bases of ideals in...

ANICK
 Referenced in 8 articles
[sw18779]
 Anick’s resolution and (through it) Gröbner basis and Yoneda product in the noncommutative graded...

GBLA
 Referenced in 4 articles
[sw15152]
 GBLA  A Groebner Basis Linear Algebra Package. GBLA...

Algorithm 628
 Referenced in 6 articles
[sw23778]
 ideal (G) and G is a Gröbner basis.” A GB is characterized by the property...

MAS
 Referenced in 5 articles
[sw08442]
 MAS (Modula2 Algebra System) is an experimental...

NCGB
 Referenced in 3 articles
[sw15322]
 NCGB 3.1, a Noncommutative Gröbner Basis Package for Mathematica. Computes NonCommutative Groebner Bases...

ENVELOPE
 Referenced in 3 articles
[sw18600]
 approach utilizes a lifted Gröbner basis to the enveloping algebra Λ e of Λ. This...

Janet
 Referenced in 33 articles
[sw07776]
 Maple package Janet implements the involutive basis technique of V. P. Gerdt ... computing Janet bases and Janetlike Gröbner bases for linear systems of partial differential equations ... implemented to avoid unnecessary reductions during involutive basis computations...

modwalk
 Referenced in 2 articles
[sw27178]
 Singular library modwalk: Groebner basis convertion. A library...

dphmggrobner
 Referenced in 2 articles
[sw06220]
 coupled with an approach to multigraded Gröbner basis computation that tracks dependencies in successively computed...

Aligator.jl
 Referenced in 2 articles
[sw26257]
 invariants by variable elimination based on Gröbner basis computation...

PerMuVAR
 Referenced in 2 articles
[sw12309]
 based only on linear algebra, no Gröbner basis computations); Reusability and extensibility (object oriented programming...

Algolib
 Referenced in 2 articles
[sw04111]
 Algolib: The Algorithms Project’s Library and Other...