• 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 non-commutative 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 Buchberger-Moeller algorithm to more quickly compute the ideals ... points and projective points using the Buchberger-Moeller 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 ... Church-Rosser 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...