A Kochen-Specker system has at least 22 vectors

DOI10.1007/s00354-016-0202-5zbMath1396.81015arXiv1412.8544OpenAlexW2314918822MaRDI QIDQ1670503

Sander Uijlen, Bas Westerbaan

Publication date: 5 September 2018

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1412.8544

Mathematics Subject Classification ID

Contextuality in quantum theory (81P13)

Related Items

On maps which preserve semipositivity and quantifier elimination theory for real numbers, A Kochen-Specker theorem for integer matrices and noncommutative spectrum functors, A Kochen-Specker system has at least 22 vectors

Uses Software

• REDLOG
• OEIS
• GitHub

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Kochen-Specker system has at least 22 vectors
• On Searching for Small Kochen-Specker Vector Systems
• Isomorph-Free Exhaustive Generation
• KOCHEN–SPECKER THEOREM AND EXPERIMENTAL TEST ON HIDDEN VARIABLES
• Kochen–Specker vectors
• Two simple proofs of the Kochen-Specker theorem
• Quantum theory: concepts and methods