• Gfan

  • Referenced in 107 articles [sw04698]
  • Gfan is a software package for computing Gröbner...
  • PolyBoRi

  • Referenced in 43 articles [sw00723]
  • This work presents a new framework for Gröbner...
  • diffgrob2

  • Referenced in 50 articles [sw11328]
  • diffgrob2 is a MAPLE package to simplify overdetermined...
  • ANICK

  • Referenced in 8 articles [sw18779]
  • ANICK is a program for calculating Anick’s...
  • NCGB

  • Referenced in 3 articles [sw15322]
  • NCGB 3.1, a Noncommutative Gröbner Basis Package for...
  • ENVELOPE

  • Referenced in 3 articles [sw18600]
  • Noncommutative Gröbner bases and Hochschild cohomology. We present...
  • Aligator.jl

  • Referenced in 2 articles [sw26257]
  • Aligator.jl - a Julia package for loop invariant generation...
  • PerMuVAR

  • Referenced in 2 articles [sw12309]
  • PerMuVAR -- a MuPAD library for invariants of permutation...
  • Janet

  • Referenced in 33 articles [sw07776]
  • The Maple package Janet implements the involutive basis...
  • GBLA_LC

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

  • Referenced in 1 article [sw10992]
  • Singular library, modst.lib, A Singular library for computing...
  • 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...