拉吉,丹尼尔;亚伦·斯托克迪尔;马蒂亚·贾姆尼克;Garcia Garcia,格雷西亚;Holly E.A.萨瑟兰。;Peter C.-H.Cheng。 检查和选择代表。 (英语) Zbl 1428.68293号 Kaliszyk,Cezary(编辑)等人,《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议,CICM 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11617, 227-242 (2019).MSC公司:68层35 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Raggi}等人,Lect。注释计算。科学。11617,227--242(2019;Zbl 1428.68293) 全文: 内政部 链接
塞萨里·卡利西克;约瑟夫·乌尔班 HOL(y)Hammer:HOL Light的在线ATP服务。 (英语) Zbl 1322.68177号 数学。计算。科学。 9,第1期,5-22(2015).MSC公司:68吨15 68T05型 68T20型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}和\textit{J.Urban},数学。计算。科学。9、第1号、第5--22号(2015;Zbl 1322.68177) 全文: 内政部 arXiv公司 OA许可证