On Searching for Small Kochen-Specker Vector Systems (Q3104762): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: On Searching for Small Kochen-Specker Vector Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algorithms in real algebraic geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Orderly algorithms for graph generation / rank
 
Normal rank
Property / cites work
 
Property / cites work: The free will theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3600678 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5536167 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Isomorph-Free Exhaustive Generation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Kochen–Specker vectors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two simple proofs of the Kochen-Specker theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantum theory: concepts and methods / rank
 
Normal rank
Property / cites work
 
Property / cites work: Every one a Winner or how to Avoid Isomorphism Search when Cataloguing Combinatorial Configurations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3924228 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2859380 / rank
 
Normal rank

Latest revision as of 18:39, 4 July 2024

scientific article
Language Label Description Also known as
English
On Searching for Small Kochen-Specker Vector Systems
scientific article

    Statements

    On Searching for Small Kochen-Specker Vector Systems (English)
    0 references
    0 references
    0 references
    0 references
    16 December 2011
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Kochen-Specker vector systems
    0 references
    topological graph embedding problems
    0 references
    constraint solving
    0 references
    graph enumeration algorithms
    0 references
    0 references
    0 references