Sign in
Gadget structures in proofs of the Kochen-Specker theorem.
Ravishankar Ramanathan
Monika Rosicka
Karol Horodecki
Stefano Pironio
Michal Horodecki
Pawel Horodecki
Published in:
Quantum (2020)
Keyphrases
</>
interactive theorem proving
artificial neural networks
real world
data sets
knowledge base
three dimensional
data structure
evolutionary algorithm
von neumann