Quantum verification of matrix products.

Harry Buhrman Robert Spalek

Published in: SODA (2006)

Keyphrases

model checking
singular value decomposition
quantum computation
web services
product information
logic circuits
database
real time
genetic algorithm
case study
face recognition
face verification
positive definite
matrix representation
coefficient matrix
commercial products