Compatible rewriting of noncommutative polynomials for proving operator identities.

Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger

Browse the full ISSAC paper archive.