泽维尔·阿拉米吉恩;里卡多·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公司
泽维尔·阿拉米吉恩;里卡多·D·卡茨。 基于单纯形方法的凸多面体的形式化。 (英语) Zbl 1468.68315号 Ayala-Rincón,Mauricio(编辑)等人,交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10499, 28-45 (2017).MSC公司:68V20型 52号B12 90C05(二氧化碳) 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{X.Allamigeon}和\textit{R.D.Katz},莱克特。注释计算。科学。10499,28-45(2017;Zbl 1468.68315) 全文: 内政部 arXiv公司