LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs.

Ariel E. Kellison, Andrew W. Appel, Mohit Tekriwal, David Bindel

Browse the full ARITH paper archive.