Short Proofs of the Quantum Substate Theorem.

Rahul Jain Ashwin Nayak

Published in: IEEE Trans. Inf. Theory (2012)

Keyphrases

interactive theorem proving
quantum mechanics
formal proofs
quantum inspired
theorem proving
von neumann
natural deduction
neural network
information retrieval
genetic algorithm
image processing
three dimensional
similarity measure
logic programs
formal proof
equational theories