• Gfan

• Referenced in 105 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 43 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 48 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 16 articles [sw08770]
• Software Packages for Holonomic Gradient Method. The numerical...

• OpenGeoProver

• Referenced in 9 articles [sw07179]
• provers it implements Wu’s and Gröbner basis methods...

• ffmodstd

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

• ANICK

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

• GBLA

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

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

• Janet

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

• dph-mg-grobner

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

• Aligator.jl

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

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