How to automatise proofs of operator statements: Moore-Penrose inverse - a case study.

Klara Bernauer Clemens Hofstadler Georg Regensburger

Published in: CoRR (2023)

Keyphrases

moore penrose
pseudo inverse
neural network
ridge regression
covariance matrix
pattern recognition
support vector
least squares