Login / Signup
Constant-Space Quantum Interactive Proofs Against Multiple Provers.
Tomoyuki Yamakami
Published in:
CoRR (2013)
Keyphrases
</>
theorem proving
theorem prover
computer graphics
low dimensional
user interaction
graphical interface
multiscale
multi agent
search space
user friendly
multiple objects
combining multiple
quantum mechanics
equational theories