Formal proofs of operator identities by a single formal computation
Raab, Clemens G., Regensburger, Georg, Hossein Poor, JamalVolume:
225
Journal:
Journal of Pure and Applied Algebra
DOI:
10.1016/j.jpaa.2020.106564
Date:
May, 2021
File:
PDF, 475 KB
2021