• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Klara BernauerClemens HofstadlerGeorg Regensburger
Published in: CASC (2023)
Keyphrases
  • moore penrose
  • pseudo inverse
  • neural network
  • ridge regression
  • least squares
  • covariance matrix
  • pattern recognition
  • decision trees
  • feature space