Quantum Proofs for Classical Theorems.

Andrew Drucker Ronald de Wolf

Published in: Theory Comput. (2011)

Keyphrases

quantum computation
quantum mechanics
cut elimination
sequent calculus
quantum probability
fixed point
inference rules
theorem proving
information systems
proof search
machine learning
mathematical proofs
theorem prover
evolutionary algorithm
linear logic
artificial intelligence
formal proof
real world