Results 1 to 20 of 191
Sort by:

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