Results

eNauka >  Results >  Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points
Title: Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points
Authors: Marić, Filip  
Issue Date: 2019
Publication: Journal of Automated Reasoning
ISSN: 0168-7433 Journal of Automated Reasoning Search Idenfier
Publisher: Springer
Type: Article
Collation: vol. 62 br. 3 str. 301-329
DOI: 10.1007/s10817-017-9423-7
WoS-ID: 000458653000001
Scopus-ID: 2-s2.0-85028958354
URI: https://enauka.gov.rs/handle/123456789/344664
Metadata source: Migrirano iz RIS podataka
M-category: 
22M22

12
SCOPUSTM
4
OpenCitations
7
WEB OF SCIENCETM
Altmetric
Dimensions
Unpaywall

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.