Login / Signup
On QMA Protocols with Two Short Quantum Proofs
François Le Gall
Shota Nakagawa
Harumichi Nishimura
Published in:
CoRR (2011)
Keyphrases
</>
theorem proving
quantum computing
quantum inspired
data sets
information retrieval
communication protocol
quantum computation
real time
genetic algorithm
artificial intelligence
information systems
bayesian networks
theorem prover
channel capacity
formal proof