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

Klara Bernauer Clemens Hofstadler Georg Regensburger

Published in: CASC (2023)

Keyphrases

moore penrose
pseudo inverse
neural network
ridge regression
least squares
covariance matrix
pattern recognition
decision trees
feature space