Efficient Interactive Proofs for Linear Algebra.

Graham Cormode, Chris Hickey

Browse the full ISAAC paper archive.