Quantum interactive proofs with weak error bounds.

Tsuyoshi Ito Hirotada Kobayashi John Watrous

Published in: ITCS (2012)

Keyphrases

error bounds
theoretical analysis
worst case
virtual reality
finite sample
graphical interface
data sets
data mining
user interaction
computer graphics
theorem prover
theorem proving