Results 1 to 20 of 313
Sort by:

  • Gfan
  • Referenced in 111 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 44 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 51 articles [sw11328]
  • those by Buchberger for a Gröbner basis of a polynomial ideal. This package...

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

  • Lugares
  • Referenced in 17 articles [sw09861]
  • A software tool for the investigation of plane...

  • hgm R
  • Referenced in 17 articles [sw08770]
  • Software Packages for Holonomic Gradient Method. The numerical...

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

  • ffmodstd
  • Referenced in 5 articles [sw27228]
  • SINGULAR Library ffmodstd.lib: Groebner bases of ideals in...

  • GBLA
  • Referenced in 5 articles [sw15152]
  • GBLA - A Groebner Basis Linear Algebra Package. GBLA...

  • Algorithm 628
  • Referenced in 6 articles [sw23778]
  • ideal (G) and G is a Gröbner basis.” A GB is characterized by the property...

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

  • parametric GCD
  • Referenced in 3 articles [sw35034]
  • obtained by computing a minimal Gröbner basis of the quotient ideal. The main attraction ... parametric case for which a comprehensive Gröbner basis is constructed for the parametric quotient ideal ... proved that in a minimal comprehensive Gröbner system of a parametric quotient ideal, each branch...

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

  • ENVELOPE
  • Referenced in 3 articles [sw18600]
  • approach utilizes a lifted Gröbner basis to the enveloping algebra Λ e of Λ. This...

  • Aligator.jl
  • Referenced in 3 articles [sw26257]
  • invariants by variable elimination based on Gröbner basis computation...

  • Janet
  • Referenced in 35 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...

  • modwalk
  • Referenced in 2 articles [sw27178]
  • Singular library modwalk: Groebner basis convertion. A library...

  • M4GB
  • Referenced in 2 articles [sw35027]
  • M4GB. An efficient Gröbner-basis algorithm. This paper introduces a new efficient algorithm for computing...