×

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

改进了多胞菌和多胞菌生长常数的上限。 (英语) Zbl 07600801号

Kohayakawa,Yoshiharu(编辑)等人,《拉丁语2020:理论信息学》。第十四届拉丁美洲研讨会,巴西圣保罗,2021年1月5日至8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12118, 532-545 (2020).
PDF格式BibTeX公司 XML格式引用

提高了聚酰胺生长常数的下限。 (英语) 2018年4月14日

曹一新(编辑)等,《计算与组合学》。第23届国际会议,COCOON 2017,中国香港,2017年8月3-5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10392, 50-61 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

枚举适当多面体的公式的自动证明。 (英语) Zbl 1378.68152号

Arge,Lars(编辑)等人,第31届计算几何国际研讨会,SoCG’15,荷兰埃因霍温,2015年6月22日至25日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-83-5)。LIPIcs–莱布尼茨国际信息学论文集34,19-22(2015)。
MSC公司:68单位05 2015年1月5日 05B50号 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

枚举适当多面体的公式的自动证明。 (英语) Zbl 1346.05120号

Nešetril,Jaroslav(ed.)等人,《关于组合学、图论和应用的八届欧洲会议的扩展摘要》,EuroComb 2015,挪威卑尔根,2015年8月31日至9月4日。阿姆斯特丹:爱思唯尔。离散数学电子笔记49145-151,仅限电子版(2015)。
MSC公司:05C30号 05C90年
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

\(\lambda>4\)。 (英语) Zbl 1401.05063号

Bansal,Nikhil(编辑)等人,《算法——2015年欧洲账户体系》。2015年9月14日至16日,第23届欧洲年会,希腊帕特拉斯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-48349-7/pbk;978-3-562-48350-3/电子书)。计算机科学讲义9294,83-94(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

扭曲圆柱体上的Polyminos。 (英语) Zbl 1305.05044号

2013年6月17日至20日,巴西里约热内卢,2013年SoCG第29届计算几何年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2031-3)。339-340 (2013).
MSC公司:05B50号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份