A short proof of the Quantum Substate Theorem

Rahul Jain Ashwin Nayak

Published in: CoRR (2011)

Keyphrases

interactive theorem proving
knowledge base
databases
quantum mechanics
quantum computing
linear logic
data sets
decision making
data structure
search algorithm
evolutionary algorithm
probabilistic model
logical rules
quantum computation