Search results
-
2020
Compatible Rewriting of Noncommutative Polynomials for Proving Operator Identities
Chenavier, C., Hofstadler, C., Raab, C. & Regensburger, G., 20 Jul 2020, ISSAC '20: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation. Mantzaflaris, A. (ed.). p. 83-90 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review