Yirmiuc / bergman

Gröbner bases in commutative and non-commutative algebras