A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL (Q6190081): Difference between revisions

@@ Property / OpenAlex ID @@
+W4389978614
@@ Property / OpenAlex ID: W4389978614 / rank @@
+Normal rank
@@ Property / cites work @@
+Locales: a module system for mathematical theories
+Normal rank
@@ Property / cites work @@
+Q5015189
@@ Property / cites work: Q5015189 / rank @@
+Normal rank
@@ Property / cites work @@
+Certified quantum computation in Isabelle/HOL
@@ Property / cites work: Certified quantum computation in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types
+Normal rank
@@ Property / cites work @@
+A generalization of quantum Stein's lemma
@@ Property / cites work: A generalization of quantum Stein's lemma / rank @@
+Normal rank
@@ Property / cites work @@
+A reversible theory of entanglement and its relation to the second law
+Normal rank
@@ Property / cites work @@
+An automated deductive verification framework for circuit-building quantum programs
+Normal rank
@@ Property / cites work @@
+Proposed Experiment to Test Local Hidden-Variable Theories
+Normal rank
@@ Property / cites work @@
+Q3999383
@@ Property / cites work: Q3999383 / rank @@
+Normal rank
@@ Property / cites work @@
+Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?
+Normal rank
@@ Property / cites work @@
+Q5836035
@@ Property / cites work: Q5836035 / rank @@
+Normal rank
@@ Property / cites work @@
+MIP* = RE
@@ Property / cites work: MIP* = RE / rank @@
+Normal rank
@@ Property / cites work @@
+From types to sets by local type definition in higher-order logic
+Normal rank
@@ Property / cites work @@
+Formal verification of quantum algorithms using quantum Hoare logic
+Normal rank
@@ Property / cites work @@
+Concrete Semantics
@@ Property / cites work: Concrete Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384929
@@ Property / cites work: Q3384929 / rank @@
+Normal rank
@@ Property / cites work @@
+Bell Nonlocality
@@ Property / cites work: Bell Nonlocality / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics of Quantum Computing
@@ Property / cites work: Mathematics of Quantum Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Three-Player Entangled XOR Games are NP-Hard to Approximate
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6190081