Quantum multi-prover interactive proof systems with limited prior entanglement.

Hirotada Kobayashi Keiji Matsumoto

Published in: J. Comput. Syst. Sci. (2003)

Keyphrases

learning systems
expert systems
theorem prover
prior knowledge
automated theorem proving
computer vision
complex systems
databases
computer systems
evolutionary algorithm
human computer interaction
distributed systems
data analysis
search algorithm
multimedia
genetic algorithm
information retrieval