4 citations · 8 across the 17 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond
Rachid Echahed, Mnacho Echenim, Mehdi Mhalla +1
We introduce a class of rooted graphs which allows one to encode various kinds of classical or quantum circuits. We then follow a set-theoretic approach to define rewrite systems o…
cs.LO2021★ 1 cited
Quantum projective measurements and the CHSH inequality in Isabelle/HOL
Mnacho Echenim, Mehdi Mhalla
We present a formalization in Isabelle/HOL of quantum projective measurements, a class of measurements involving orthogonal projectors that is frequently used in quantum computing.…