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

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

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

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

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

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

GBLA
 Referenced in 5 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...

parametric GCD
 Referenced in 3 articles
[sw35034]
 obtained by computing a minimal Gröbner basis of the quotient ideal. The main attraction ... parametric case for which a comprehensive Gröbner basis is constructed for the parametric quotient ideal ... proved that in a minimal comprehensive Gröbner system of a parametric quotient ideal, each branch...

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

M4GB
 Referenced in 3 articles
[sw35027]
 M4GB. An efficient Gröbnerbasis algorithm. This paper introduces a new efficient algorithm for computing...

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

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

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

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