Open AccessAutomated detection of contextuality proofs with intermediate numbers of observables
Author(s) -
Henri de Boutray,
Frédéric Holweck,
Alain Giorgetti,
Pierre-Alain Masson
Publication year - 2021
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - kochen–specker theorem , mathematical proof , observable , computer science , mathematics , physics , quantum mechanics , geometry , quantum