
SINGULAR
 Referenced in 1058 articles
[sw00866]
 Groebner and standard bases, including e.g. Buchberger’s algorithm and Mora’s Tangent Cone algorithm...

diffgrob2
 Referenced in 43 articles
[sw11328]
 polynomial type. The algorithms are based on those by Buchberger for a Gröbner basis...

Felix
 Referenced in 17 articles
[sw01048]
 modules. The central method is Buchberger’s algorithm and its generalizations to noncommutative rings...

slimgb
 Referenced in 16 articles
[sw00878]
 Slimgb is a variation of Buchbergers’s algorithm for computing Gröbner bases in order...

Catfact
 Referenced in 6 articles
[sw14840]
 known. The recognition algorithm employs the Buchberger Algorithm for Gröbner bases modified to the local...

BLUEVERI
 Referenced in 1 article
[sw10899]
 specification method that directly exposes the ECC algorithm’s underlying math to a verification layer ... apparatus of computational algebraic geometry (Buchberger’s algorithm for Gr”obner basis construction). We present...

PAC
 Referenced in 1 article
[sw21079]
 Diophantine equations, the parallelization of Buchberger’s algorithm for Gröbner bases. A prototype...

Algorithm 628
 Referenced in 6 articles
[sw23778]
 report concerning the FORTRAN implementation of an algorithm for constructing (canonical) Gröbner bases ... ChurchRosser property [see B. Buchberger, A theoretical basis for the reduction of polynomials ... examples of constructing specific GB using the algorithm are presented, in order to indicate...

ACL2
 Referenced in 236 articles
[sw00060]
 ACL2 is both a programming language in which...

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

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

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

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

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

finvar.lib
 Referenced in 2 articles
[sw00291]
 finvar.lib. A Singular 2.0 library for computing invariant...

Gb
 Referenced in 3 articles
[sw00324]
 C++ program for computing efficiently Groebner bases. See...

Ginv
 Referenced in 8 articles
[sw00350]
 Specialized computer algebra system GINV. The computer algebra...

Macaulay2
 Referenced in 1151 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2044 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...