Computer Algebra in Scientific Computing
Springer Nature Switzerland
Chapter title |
How to Automatise Proofs of Operator Statements: Moore–Penrose Inverse; A Case Study
|
---|---|
Chapter number | 3 |
Book title |
Computer Algebra in Scientific Computing
|
Published by |
Springer, Cham, January 2023
|
DOI | 10.1007/978-3-031-41724-5_3 |
Book ISBNs |
978-3-03-141723-8, 978-3-03-141724-5
|
Authors |
Bernauer, Klara, Hofstadler, Clemens, Regensburger, Georg |