Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger. Compatible rewriting of noncommutative polynomials for proving operator identities. In Ioannis Z. Emiris, Lihong Zhi, editors, ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020. pages 83-90, ACM, 2020. [doi]
Abstract is missing.