Parallelization, amplification, and exponential time simulation of quantum interactive proof systems.

Alexei Y. Kitaev John Watrous

Published in: STOC (2000)

Keyphrases

simulation tools
complex systems
management system
computer systems
learning systems
interactive systems
real time
data sets
neural network
data mining
intelligent systems
user interaction
mathematical model
mathematical models
theorem proving
support systems