
Gfan
 Referenced in 69 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 33 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 43 articles
[sw11328]
 those by Buchberger for a Gröbner basis of a polynomial ideal. This package...

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

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

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

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

MAS
 Referenced in 4 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...

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

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...

Janet
 Referenced in 25 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...

GBLA_LC
 Referenced in 1 article
[sw13234]
 GBLA_LC: Gröbner basis by linear algebra and linear codes...

modst.lib
 Referenced in 1 article
[sw10992]
 computing Gröbner bases by modular methods. A library for computing the Groebner basis...

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

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

JanetOre
 Referenced in 5 articles
[sw09587]
 implementation of the involutive basis technique over some classes of Ore algebras. JanetOre computes Janet ... bases and Janetlike Gröbner bases. The coefficient domain for the Ore algebra...