Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points (Q670696)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points
scientific article

    Statements

    Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points (English)
    0 references
    0 references
    20 March 2019
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    Erdős-Szekeres conjecture
    0 references
    happy ending problem
    0 references
    convex polygons
    0 references
    interactive theorem proving
    0 references
    SAT-solving
    0 references
    Isabelle/HOL
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references