Conference
LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs
| Title: | LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs |
|---|---|
| Authors: | Kellison, Ariel E., Appel, Andrew W., Tekriwal, Mohit, Bindel, David |
| Source: | 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH) ARITH Computer Arithmetic (ARITH), 2023 IEEE 30th Symposium on. :36-43 Sep, 2023 |
| Relation: | 2023 IEEE 30th Symposium on Computer Arithmetic (ARITH) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9798350319224 |
|---|---|
| ISSN: | 25762265 |
| DOI: | 10.1109/ARITH58626.2023.00021 |