• GBLA_LC

  • Referenced in 1 article [sw13234]
  • GBLA_LC: Gröbner basis by linear algebra and linear codes...
  • modst.lib

  • Referenced in 1 article [sw10992]
  • computing Gröbner bases by modular methods. A library for computing the Groebner basis...
  • Miura

  • Referenced in 1 article [sw20305]
  • Miura - A package for computing objects for general...
  • sagbi.lib

  • Referenced in 1 article [sw33623]
  • SINGULAR Library sagbi.lib. Compute SAGBI basis (subalgebra bases...
  • JanetOre

  • Referenced in 5 articles [sw09587]
  • implementation of the involutive basis technique over some classes of Ore algebras. JanetOre computes Janet ... bases and Janet-like Gröbner bases. The coefficient domain for the Ore algebra...
  • InvolutiveBases

  • Referenced in 1 article [sw13599]
  • from given Gröbner bases. It can be checked whether a Janet basis is a Pommaret...
  • ATENSOR

  • Referenced in 8 articles [sw00055]
  • ATENSOR - REDUCE program for tensor simplification. Nature of...
  • AXIOM

  • Referenced in 169 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • cdd

  • Referenced in 109 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CoCoA

  • Referenced in 605 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CoCoALib

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

  • Referenced in 28 articles [sw00145]
  • Two codes are discussed, COLAMD and SYMAMD, that...
  • Coq

  • Referenced in 1751 articles [sw00161]
  • Coq is a formal proof management system. It...
  • dpgb

  • Referenced in 16 articles [sw00217]
  • Improving the DISPGB algorithm using the discriminant ideal...
  • EDS

  • Referenced in 6 articles [sw00230]
  • EDS, a REDUCE package for exterior differential systems...
  • Epsilon

  • Referenced in 39 articles [sw00244]
  • Epsilon is a library of functions implemented in...
  • Fermat

  • Referenced in 37 articles [sw00277]
  • Fermat is a computer algebra system (CAS) for...
  • FGb

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