×

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

通过编程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格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份