×

找到26个文档(结果1-26)

增量平面细分中的点位置。 (英语) Zbl 07561405号

徐文莲(编辑)等,第29届算法与计算国际研讨会,2018年12月16日至19日,2018年国际算法与计算学会,台湾宜兰胶西。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。123,第51条,第12页(2018年)。
MSC公司:68单位05 68第05页
PDF格式BibTeX公司 XML格式引用

离散Jordan曲线定理:用超映射在Coq中形式化的证明。 (英语) Zbl 1259.68179号

Albers,Susanne(编辑)等人,STACS 2008。第25届计算机科学理论方面国际研讨会,法国波尔多,2008年2月21日至23日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-06-4)。LIPIcs–莱布尼茨国际信息学论文集1,253-264,仅电子版(2008年)。
MSC公司:68吨15 54D05型
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份