
Gfan
 Referenced in 86 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 38 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 27 articles
[sw09961]
 Geometry Expert (GEX) is a software for dynamic...

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

hgm R
 Referenced in 9 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...

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

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

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

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

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

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