• 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 non-commutative 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...