Efficient Interactive Proofs for Linear Algebra.

Graham Cormode Chris Hickey

Published in: ISAAC (2019)

Keyphrases

linear algebra
sparse matrices
computer architecture
data mining
machine learning
information systems
singular value decomposition