
Macaulay2
 Referenced in 933 articles
[sw00537]
 Macaulay2 includes core algorithms for computing Gröbner bases and graded or multigraded free resolutions...

CoCoA
 Referenced in 472 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

SINGULAR
 Referenced in 897 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

FGb
 Referenced in 212 articles
[sw00286]
 lines of C++) for computing Grobner bases, implement ”standard” algoritms. FGb (206 052 lines ... algorithms for computing Gröbner bases: actually, from a research point of view, it is mandatory...

Gfan
 Referenced in 67 articles
[sw04698]
 bijection with the marked reduced Gröbner bases of its defining ideal. The software computes ... marked reduced Gröbner bases of an ideal. Their union is a universal Gröbner basis ... useful in the study of Gröbner bases, initial ideals and tropical geometry. The full list ... Appendix B of the manual. For ordinary Gröbner basis computations Gfan is not competitive...

Plural
 Referenced in 47 articles
[sw00719]
 monomial orderings, left and twosided Gröbner bases. The usual criteria to avoid “useless pairs...

NCAlgebra
 Referenced in 38 articles
[sw07755]
 NCAlgebra: Our Non Commutative Algebra Packages run under...

PolyBoRi
 Referenced in 33 articles
[sw00723]
 fast Gröbnerbasis computations. We introduce a specialised data structure for Boolean polynomials based ... example, a new uselesspair criterion for Gröbnerbasis computations in Boolean rings is introduced ... importance of formal hardware and software verification based on Boolean expressions, which sufferbesides from ... that our preliminary implementation shows that Gröbnerbases on specific data structures can be capable...

GRIN
 Referenced in 23 articles
[sw08940]
 GRIN: An implementation of Gröbner bases for integer programming. this paper we present a computer...

Janet
 Referenced in 23 articles
[sw07776]
 computing Janet bases and Janetlike Gröbner bases for linear systems of partial differential equations...

Groebner
 Referenced in 16 articles
[sw06688]
 This page describes the most common use of...

HolonomicFunctions
 Referenced in 23 articles
[sw06666]
 with mixed differencedifferential operators), noncommutative Gröbner bases, and solving of coupled linear systems...

GBNP
 Referenced in 11 articles
[sw07724]
 GBNP, A GAP package for Gröbner bases of noncommutative polynomials. The GBNP package provides algorithms...

slimgb
 Referenced in 15 articles
[sw00878]
 Buchbergers’s algorithm for computing Gröbner bases in order to avoid intermediate coefficient swell...

JAS
 Referenced in 11 articles
[sw05877]
 The Java Algebra System (JAS) is an object...

diffgrob2
 Referenced in 42 articles
[sw11328]
 algorithms are based on those by Buchberger for a Gröbner basis of a polynomial ideal...

TiGERS
 Referenced in 8 articles
[sw12585]
 Computing Groebner Fans of Toric Ideals. The monomial...

Ginv
 Referenced in 7 articles
[sw00350]
 system GINV. The computer algebra system GINV (Gröbner INVolutive) is presented. It is designed ... their completion to involution. The system is based on algorithms for constructing involutive Janet ... modules, as well as reduced Gröbner bases, developed by the authors. GINV consists...

JanetOre
 Referenced in 5 articles
[sw09587]
 computes Janet bases and Janetlike Gröbner bases. The coefficient domain for the Ore algebra...

NCPOLY
 Referenced in 5 articles
[sw13518]
 left or right), especially one sided Gröbner bases and polynomial reduction...