Login / Signup

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

Ariel E. KellisonAndrew W. AppelMohit TekriwalDavid Bindel
Published in: ARITH (2023)
Keyphrases
  • linear algebra
  • formal proofs
  • computer architecture
  • sparse matrices
  • artificial intelligence
  • image processing
  • image segmentation
  • pattern recognition
  • image analysis
  • image features
  • singular value decomposition