research
∙
05/16/2023
How to automatise proofs of operator statements: Moore-Penrose inverse – a case study
We describe a recently developed algebraic framework for proving first-o...
share
research
∙
10/25/2021
Computing elements of certain form in ideals to prove properties of operators
Proving statements about linear operators expressed in terms of identiti...
research
∙
02/10/2020
