Browsing by Subject Happy ending problem

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)Rank
15-Mar-2019Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 PointsMarić, Filip