Certified Quantum Computation in Isabelle/HOL.

Anthony Bordg Hanna Lachnitt Yijun He

Published in: CoRR (2020)

Keyphrases

quantum computation
theorem prover
natural deduction
inference rules
theorem proving
higher order logic
first order logic
cut elimination
case study
technical support
sequent calculus
data model
high level
data mining
data analysis
pairwise
databases
reinforcement learning
artificial intelligence
real world