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

Miura
 Referenced in 1 article
[sw20305]
 Miura  A package for computing objects for general...

sagbi.lib
 Referenced in 1 article
[sw33623]
 SINGULAR Library sagbi.lib. Compute SAGBI basis (subalgebra bases...

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

InvolutiveBases
 Referenced in 1 article
[sw13599]
 from given Gröbner bases. It can be checked whether a Janet basis is a Pommaret...

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

CoCoA
 Referenced in 605 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

CoCoALib
 Referenced in 54 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

COLAMD
 Referenced in 28 articles
[sw00145]
 Two codes are discussed, COLAMD and SYMAMD, that...

Coq
 Referenced in 1751 articles
[sw00161]
 Coq is a formal proof management system. It...

dpgb
 Referenced in 16 articles
[sw00217]
 Improving the DISPGB algorithm using the discriminant ideal...

EDS
 Referenced in 6 articles
[sw00230]
 EDS, a REDUCE package for exterior differential systems...

Epsilon
 Referenced in 39 articles
[sw00244]
 Epsilon is a library of functions implemented in...

Fermat
 Referenced in 37 articles
[sw00277]
 Fermat is a computer algebra system (CAS) for...

FGb
 Referenced in 234 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...