Computation of free non-commutative grbner bases over Z with Singular: Letterplace.

Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid

Browse the full ISSAC paper archive.