TY  - RPRT
TI  - Formal proofs of operator identities by a single formal computation
AU  - Clemens G. Raab
AU  - Georg Regensburger
AU  - Jamal Hossein Poor
PY  - 2019
DO  - 10.1016/j.jpaa.2020.106564
UR  - https://arxiv.org/abs/1910.06165
ID  - 1910.06165
ER  -