Constant-space quantum interactive proofs against multiple provers.

Tomoyuki Yamakami

Published in: Inf. Process. Lett. (2014)

Keyphrases

theorem prover
theorem proving
similarity measure
low dimensional
data visualization
neural network
machine learning
image processing
computer graphics
proof search