泽维尔·阿拉米吉恩;里卡多·D·卡茨。 基于单纯形方法的凸多面体的形式化。 (英语) Zbl 1468.68316号 J.汽车。推理 63,第2期,323-345(2019).MSC公司:68V20型 52号B12 90C05(二氧化碳) 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{X.Allamigeon}和\textit{R.D.Katz},J.Autom。推理63,No.2,323--345(2019;Zbl 1468.68316) 全文: 内政部 arXiv公司
菲利普·马里奇 至多6点凸多边形的Erdős-Szekeres猜想的快速形式证明。 (英语) Zbl 1468.68302号 J.汽车。推理 62,第3号,301-329(2019).MSC公司:68伏15 52立方厘米 68单位05 68伏05 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Marić},J.奥托姆。推理62,No.3,301-329(2019;Zbl 1468.68302) 全文: 内政部