Login / Signup
Klara Bernauer
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Least Squares
Moore Penrose
Pseudo Inverse
Ridge Regression
Top Venues
CoRR
CASC
</>
Publications
</>
Klara Bernauer
,
Clemens Hofstadler
,
Georg Regensburger
How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study.
CASC
(2023)
Klara Bernauer
,
Clemens Hofstadler
,
Georg Regensburger
How to automatise proofs of operator statements: Moore-Penrose inverse - a case study.
CoRR
(2023)