Formal Theories for Linear Algebra.

Stephen A. Cook Lila Fontes

Published in: CSL (2010)

Keyphrases

linear algebra
singular value decomposition
image processing
computer architecture
data mining
machine learning
sparse matrices
information systems
feature extraction
pattern recognition
feature vectors
wavelet transform
radon transform
formal methods