Quantum verification of matrix products, in: (2006)

by H Buhrman, R Špalek
Venue:Proceedings of the Seventeenth Annual ACM–SIAM Symposium on Discrete Algorithm, ACM,