Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points
Crossref DOI link: https://doi.org/10.1007/s10817-017-9423-7
Published Online: 2017-09-05
Published Print: 2019-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Marić, Filip http://orcid.org/0000-0001-7219-6960
Text and Data Mining valid from 2017-09-05
Article History
Received: 1 April 2017
Accepted: 27 July 2017
First Online: 5 September 2017