
Gfan
 Referenced in 107 articles
[sw04698]
 Gfan is a software package for computing Gröbner...

PolyBoRi
 Referenced in 43 articles
[sw00723]
 This work presents a new framework for Gröbner...

diffgrob2
 Referenced in 50 articles
[sw11328]
 diffgrob2 is a MAPLE package to simplify overdetermined...

ANICK
 Referenced in 8 articles
[sw18779]
 ANICK is a program for calculating Anick’s...

Algorithm 628
 Referenced in 6 articles
[sw23778]
 Algorithm 628. An algorithm for constructing canonical bases...

NCGB
 Referenced in 3 articles
[sw15322]
 NCGB 3.1, a Noncommutative Gröbner Basis Package for...

ENVELOPE
 Referenced in 3 articles
[sw18600]
 Noncommutative Gröbner bases and Hochschild cohomology. We present...

Aligator.jl
 Referenced in 2 articles
[sw26257]
 Aligator.jl  a Julia package for loop invariant generation...

PerMuVAR
 Referenced in 2 articles
[sw12309]
 PerMuVAR  a MuPAD library for invariants of permutation...

Janet
 Referenced in 33 articles
[sw07776]
 The Maple package Janet implements the involutive basis...

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

JanetOre
 Referenced in 5 articles
[sw09587]
 JanetOre: A Maple Package to Compute a Janet...

modst.lib
 Referenced in 1 article
[sw10992]
 Singular library, modst.lib, A Singular library for computing...

ATENSOR
 Referenced in 8 articles
[sw00055]
 ATENSOR  REDUCE program for tensor simplification. Nature of...

AXIOM
 Referenced in 169 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

cdd
 Referenced in 109 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...