No label defined (Q6179339)

From MaRDI portal
scientific article; zbMATH DE number 7779755
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7779755

    Statements

    0 references
    0 references
    16 December 2023
    0 references
    0 references
    0 references
    0 references
    0 references
    Erdős-Szekeres theorem
    0 references
    empty hexagon theorem
    0 references
    higher-dimensional point set
    0 references
    acyclic chirotope
    0 references
    oriented matroid
    0 references
    \(k\)-gon
    0 references
    \(k\)-hole
    0 references
    Boolean satisfiability (SAT)
    0 references
    computer-assisted proof
    0 references
    automated reasoning
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references