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