@misc{indiciae9e43dd545612,
  title = {Formal proofs of operator identities by a single formal computation},
  author = {Clemens G. Raab and Georg Regensburger and Jamal Hossein Poor},
  year = {2019},
  doi = {10.1016/j.jpaa.2020.106564},
  url = {https://arxiv.org/abs/1910.06165},
  note = {Source identifier: 1910.06165}
}