Coherent state exchange in multi-prover quantum interactive proof systems.

Debbie W. Leung Benjamin Toner John Watrous

Published in: Chic. J. Theor. Comput. Sci. (2013)

Keyphrases

theorem prover
complex systems
interactive systems
real time
machine learning
theorem proving
intelligent systems
computer systems
user interaction
dynamic constraints