The proof complexity of linear algebra.

Michael Soltys Stephen A. Cook

Published in: Ann. Pure Appl. Log. (2004)

Keyphrases

linear algebra
singular value decomposition
image processing
computer architecture
radon transform
information systems
image analysis
data processing
sparse matrices
feature extraction
feature space
least squares
fourier transform