The Proof Complexity of Linear Algebra.

Michael Soltys Stephen A. Cook

Published in: LICS (2002)

Keyphrases

linear algebra
singular value decomposition
machine learning
artificial intelligence
radon transform
computer architecture
sparse matrices