Quantum projective measurements and the CHSH inequality in Isabelle/HOL.

Mnacho Echenim Mehdi Mhalla

Published in: CoRR (2021)

Keyphrases

theorem prover
natural deduction
inference rules
theorem proving
first order logic
quantum computation
higher order logic
artificial intelligence
cut elimination
quantum inspired
quantum computing
formal methods
reconstruction from multiple views
euclidean reconstruction
multiscale
knowledge base
neural network