2006, Quantum verification of matrix products

by Harry Buhrman, Robert ˇ Spalek
Venue:Proceedings of the 17th ACM-SIAM Symposium on Discrete Algorithms