Browsing by Subject Erdős–Szekeres conjecture
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| 15-Mar-2019 | Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points | Marić, Filip |