爱德华·祖尔科斯基;布莱特,柯蒂斯;阿尔伯特·海因勒;伊利亚斯·科齐里亚斯;Czarnecki、Krzysztof;维杰·加内什 将SAT解算器与计算机代数系统结合起来验证组合猜想。 (英语) Zbl 1410.68413号 J.汽车。推理 58,第3号,313-339(2017).MSC公司:68瓦30 05B20号 05C15号 05C38号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Zulkoski}等人,J.Autom。推理58,No.3,313--339(2017;Zbl 1410.68413) 全文: DOI程序
爱德华·祖尔科斯基;维杰·加内什;Czarnecki、Krzysztof MathCheck:通过计算机代数系统和SAT解题器相结合的数学助手。 (英语) Zbl 1465.68300号 Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 607-622 (2015).MSC公司:68伏15 05-04 05C15号 05C45号 05C70号 68兰特 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Zulkoski}等人,Lect。注释计算。科学。9195607--622(2015;Zbl 1465.68300) 全文: DOI程序