Q6179339 (Q6179339): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / cites work
 
Property / cites work: Enumerating order types for small point sets with applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abstract order type extension and new results on the rectilinear crossing number / rank
 
Normal rank
Property / cites work
 
Property / cites work: On empty convex polytopes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some Erdős-Szekeres type results about points in space / rank
 
Normal rank
Property / cites work
 
Property / cites work: Oriented Matroids / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the finding of final polynomials / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Convex Polygons Determined by a Finite Planar Set / rank
 
Normal rank
Property / cites work
 
Property / cites work: On convex holes in <i>d</i>-dimensional point sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5341481 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5759552 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3207683 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Representing graphs and hypergraphs by touching polygons in 3D / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sweeps, arrangements and signotopes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generation of oriented matroids --- a graph theoretical approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5088968 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Empty convex hexagons in planar point sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Konvexe Fünfecke in ebenen Punktmengen / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two extensions of the Erdős-Szekeres problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sets with No Empty Convex 7-Gons / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5628820 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ramsey-remainder for convex sets and the Erdős-Szekeres theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Point configurations in \(d\)-space without large subsets in convex position / rank
 
Normal rank
Property / cites work
 
Property / cites work: Axioms and hulls / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Erdös-Szekeres problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4530626 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Erdos-Szekeres problem on points in convex position – a survey / rank
 
Normal rank
Property / cites work
 
Property / cites work: The empty hexagon theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finding sets of points without empty convex 6-gons / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two disjoint 5-holes in point sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Erdős-Szekeres convex polygon problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computer solution to the 17-point Erdős-Szekeres problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5290279 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Convex independent sets and 7-holes in restricted planar point sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sets in \(\mathbb{R}^ d\) with no large empty convex subsets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3514531 / rank
 
Normal rank
Property / cites work
 
Property / cites work: DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 15:37, 21 August 2024

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
    16 December 2023
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references