@article{Echenim2021a,
  title     = {Quantum projective measurements and the CHSH inequality},
  author    = {Echenim, Mnacho},
  year      = {2021},
  month     = mar,
  journal   = {Archive of Formal Proofs},
  volume    = {2021},
  url       = {https://isa-afp.org/entries/Projective_Measurements.html},
  abstract  = {This work contains a formalization of quantum projective measurements, also known as von Neumann measurements, which are based on elements of spectral theory. We also formalized the CHSH inequality, an inequality involving expectations in a probability space that is violated by quantum measurements, thus proving that quantum mechanics cannot be modeled with an underlying local hidden-variable theory.},
  webnote   = {Formal proof development in Isabelle, supplement to \cite{Echenim2021}},
  bibsource = qplbib
}

{"_id":"9WzkBo6uE95cwFEQg","bibbaseid":"echenim-quantumprojectivemeasurementsandthechshinequality-2021","author_short":["Echenim, M."],"bibdata":{"bibtype":"article","type":"article","title":"Quantum projective measurements and the CHSH inequality","author":[{"propositions":[],"lastnames":["Echenim"],"firstnames":["Mnacho"],"suffixes":[]}],"year":"2021","month":"March","journal":"Archive of Formal Proofs","volume":"2021","url":"https://isa-afp.org/entries/Projective_Measurements.html","abstract":"This work contains a formalization of quantum projective measurements, also known as von Neumann measurements, which are based on elements of spectral theory. We also formalized the CHSH inequality, an inequality involving expectations in a probability space that is violated by quantum measurements, thus proving that quantum mechanics cannot be modeled with an underlying local hidden-variable theory.","webnote":"Formal proof development in Isabelle, supplement to i̧teEchenim2021","bibsource":"Quantum Programming Languages & Verification Bibliography, https://git.io/qpl-bib","bibtex":"@article{Echenim2021a,\n title = {Quantum projective measurements and the CHSH inequality},\n author = {Echenim, Mnacho},\n year = {2021},\n month = mar,\n journal = {Archive of Formal Proofs},\n volume = {2021},\n url = {https://isa-afp.org/entries/Projective_Measurements.html},\n abstract = {This work contains a formalization of quantum projective measurements, also known as von Neumann measurements, which are based on elements of spectral theory. We also formalized the CHSH inequality, an inequality involving expectations in a probability space that is violated by quantum measurements, thus proving that quantum mechanics cannot be modeled with an underlying local hidden-variable theory.},\n webnote = {Formal proof development in Isabelle, supplement to \\cite{Echenim2021}},\n bibsource = qplbib\n}\n\n","author_short":["Echenim, M."],"key":"Echenim2021a","id":"Echenim2021a","bibbaseid":"echenim-quantumprojectivemeasurementsandthechshinequality-2021","role":"author","urls":{"Paper":"https://isa-afp.org/entries/Projective_Measurements.html"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://raw.githubusercontent.com/QuantumPL/bib/main/bbt.bib","dataSources":["JG9W34HAXfSxsC6ML"],"keywords":[],"search_terms":["quantum","projective","measurements","chsh","inequality","echenim"],"title":"Quantum projective measurements and the CHSH inequality","year":2021}