A probabilistic algorithm for verifying matrix products using O(n2) time and log2n + O(1) random bits

Reducing randomness via irrational numbers

STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing

Annotations in Data Streams

ICALP '09 Proceedings of the 36th International Colloquium on Automata, Languages and Programming: Part I

Quadratic-time certificates in linear algebra

Proceedings of the 36th international symposium on Symbolic and algebraic computation

Survey: Certifying algorithms

Computer Science Review

Streaming computations with a loquacious prover

Proceedings of the 4th conference on Innovations in Theoretical Computer Science