How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study.

Klara Bernauer, Clemens Hofstadler, Georg Regensburger

Browse the full CASC paper archive.