Harry Buhrman, Robert Spalek. Quantum verification of matrix products. In Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2006, Miami, Florida, USA, January 22-26, 2006. pages 880-889, ACM Press, 2006. [doi]
Abstract is missing.