• Gfan

  • Referenced in 71 articles [sw04698]
  • ideal. Their union is a universal Gröbner basis. The tropical variety of a polynomial ideal ... manual. For ordinary Gröbner basis computations Gfan is not competitive in speed compared to programs...
  • PolyBoRi

  • Referenced in 34 articles [sw00723]
  • work presents a new framework for Gröbner-basis computations with Boolean polynomials. Boolean polynomials ... appropriate for fast Gröbner-basis computations. We introduce a specialised data structure for Boolean polynomials ... useless-pair criterion for Gröbner-basis computations in Boolean rings is introduced ... believe that our preliminary implementation shows that Gröbner-bases on specific data structures...
  • diffgrob2

  • Referenced in 43 articles [sw11328]
  • those by Buchberger for a Gröbner basis of a polynomial ideal. This package...
  • GEX

  • Referenced in 25 articles [sw09961]
  • Geometry Expert (GEX) is a software for dynamic...
  • Lugares

  • Referenced in 13 articles [sw09861]
  • A software tool for the investigation of plane...
  • hgm R

  • Referenced in 7 articles [sw08770]
  • Software Packages for Holonomic Gradient Method. The numerical...
  • ANICK

  • Referenced in 6 articles [sw18779]
  • Anick’s resolution and (through it) Gröbner basis and Yoneda product in the noncommutative graded...
  • MAS

  • Referenced in 4 articles [sw08442]
  • MAS (Modula-2 Algebra System) is an experimental...
  • NCGB

  • Referenced in 3 articles [sw15322]
  • NCGB 3.1, a Noncommutative Gröbner Basis Package for Mathematica. Computes NonCommutative Groebner Bases...
  • GBLA

  • Referenced in 1 article [sw15152]
  • GBLA - A Groebner Basis Linear Algebra Package. GBLA...
  • dph-mg-grobner

  • Referenced in 2 articles [sw06220]
  • coupled with an approach to multigraded Gröbner basis computation that tracks dependencies in successively computed...
  • PerMuVAR

  • Referenced in 2 articles [sw12309]
  • based only on linear algebra, no Gröbner basis computations); Reusability and extensibility (object oriented programming...
  • Algolib

  • Referenced in 2 articles [sw04111]
  • Algolib: The Algorithms Project’s Library and Other...
  • Janet

  • Referenced in 25 articles [sw07776]
  • Maple package Janet implements the involutive basis technique of V. P. Gerdt ... computing Janet bases and Janet-like Gröbner bases for linear systems of partial differential equations ... implemented to avoid unnecessary reductions during involutive basis computations...
  • 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...
  • ENVELOPE

  • Referenced in 1 article [sw18600]
  • approach utilizes a lifted Gröbner basis to the enveloping algebra Λ e of Λ. This...
  • 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...