Quantum Multi-Prover Interactive Proof Systems with Limited Prior Entanglement

Hirotada Kobayashi Keiji Matsumoto

Published in: CoRR (2001)

Keyphrases

automated theorem proving
management system
computer systems
theorem prover
database
real time
genetic algorithm
artificial intelligence
computer vision
prior knowledge
distributed systems
computer graphics
theorem proving
data sets
decision making
learning systems