Login / Signup
Classical Verification of Quantum Proofs.
Zhengfeng Ji
Published in:
CoRR (2015)
Keyphrases
</>
database
quantum computation
quantum mechanics
formal proof
model checking
theorem proving
quantum computing
quantum probability
theorem prover
formal methods
search algorithm
evolutionary algorithm
asynchronous circuits
concurrent systems
mathematical proofs