Ashwin Nayak Quantum Algorithm for Checking Matrix Identities. 2008 Encyclopedia of Algorithms http://dx.doi.org/10.1007/978-0-387-30162-4_303 reference/algo/2008 db/reference/algo/algo2008.html#Nayak08