LAProof: A Library of Formal Proofs of Accuracy and Correctness for Linear Algebra Programs | IEEE Conference Publication | IEEE Xplore