×

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

十阶射影平面中椭圆的不存在证明。 (英语) Zbl 07601001号

Gńsieniec,Leszek(编辑)等人,《组合算法》。第31届国际研讨会,IWOCA 2020,法国波尔多,2020年6月8日至10日,会议记录。查姆:斯普林格。莱克特。注释计算。科学。12126, 97-111 (2020).
MSC公司:68卢比 68瓦xx
PDF格式BibTeX公司 XML格式引用

通过编程SAT枚举复杂Golay对。 (英语) Zbl 1467.68202号

Carlos Arreche(编辑),《第43届符号和代数计算国际研讨会论文集》,ISSAC 2018,美国纽约州纽约市,2018年7月16-19日。纽约州纽约市:计算机协会(ACM)。111-118(2018年)。
PDF格式BibTeX公司 XML格式引用

数学检查2:用于组合猜想的SAT+CAS验证器。 (英语) Zbl 1453.05001号

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9890, 117-133 (2016).
MSC公司:05-04 68伏15 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

出版年份