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

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

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

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

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

M4GB
 Referenced in 4 articles
[sw35027]
 extension of Buchberger’s algorithm that describes: how to store already computed (tail)reduced multiples...

MRC
 Referenced in 4 articles
[sw30136]
 group rings. Gröbner bases and Buchberger’s algorithm have been generalized to monoid and group...

Groebner_Bases
 Referenced in 4 articles
[sw32224]
 theory, the formalization also implements Buchberger’s algorithm for actually computing Gröbner bases...

ThreadedGB
 Referenced in 1 article
[sw42877]
 computations has inspired many improvements to Buchberger’s algorithm over the years. Looking for further ... threaded implementation of the classical Buchberger algorithm in Macaulay2. The output of the main function...

Points
 Referenced in 1 article
[sw40574]
 code, some of which uses the BuchbergerMoeller algorithm to more quickly compute the ideals ... points and projective points using the BuchbergerMoeller algorithm...

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 291 articles
[sw00060]
 ACL2 is both a programming language in which...

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

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

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

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

FGb
 Referenced in 247 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...