
SINGULAR
 Referenced in 970 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 16 articles
[sw01048]
 modules. The central method is Buchberger’s algorithm and its generalizations to noncommutative rings...

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

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

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

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

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

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

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

FGb
 Referenced in 218 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 7 articles
[sw00350]
 Specialized computer algebra system GINV. The computer algebra...

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

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

Maple
 Referenced in 3988 articles
[sw00545]
 The result of over 30 years of cutting...