TY  - RPRT
TI  - How to automatise proofs of operator statements: Moore-Penrose inverse -- a case study
AU  - Klara Bernauer
AU  - Clemens Hofstadler
AU  - Georg Regensburger
PY  - 2023
UR  - https://arxiv.org/abs/2305.09448
ID  - 2305.09448
ER  -