4 citations · 8 across the 17 of their papers we have counts for
1 paper · 2 filters
Mnacho Echenim, Mehdi Mhalla
We present a formalization of several fundamental notions and results from Quantum Information theory, including density matrices and projective measurements, along with the proof…