Quantum Multi-prover Interactive Proof Systems with Limited Prior Entanglement.

Hirotada Kobayashi Keiji Matsumoto

Published in: ISAAC (2002)

Keyphrases

theorem proving
theorem prover
interactive systems
database
proof search
complex systems
prior knowledge
learning systems
knowledge based systems
distributed systems
evolutionary algorithm
artificial neural networks
expert systems
multi agent
computer vision
social networks
search engine
neural network