Formal Theories for Linear Algebra

Stephen A. Cook Lila Fontes

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

linear algebra
computer architecture
image processing
singular value decomposition
sparse matrices
radon transform
image analysis
machine learning
information systems
feature extraction
natural images
formal methods