TY  - RPRT
TI  - Compatible rewriting of noncommutative polynomials for proving operator identities
AU  - Cyrille Chenavier
AU  - Clemens Hofstadler
AU  - Clemens G. Raab
AU  - Georg Regensburger
PY  - 2020
DO  - 10.1145/3373207.3404047
UR  - https://arxiv.org/abs/2002.03626
ID  - 2002.03626
ER  -