NCGB 3.1, a Noncommutative Gröbner Basis Package for Mathematica. Computes NonCommutative Groebner Bases and has extensive sorting and display features as well as algorithms for automatically discarding ”redundant” polynomials, as well as ”kludgy” methods for suggesting changes of variables (which work better than one would expect). NCGB runs in conjunction with NCAlgebra. A very brief TEMPLATE/DEMO is given here. The whole story appears in the rather long NC DOCUMENT obtainable as PDF
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- La Scala, Roberto; Levandovskyy, Viktor: Letterplace ideals and non-commutative Gröbner bases. (2009)
- Kronewitter, F.Dell: Using noncommutative Gröbner bases in solving partially prescribed matrix inverse completion problems (2001)