大卫·R·科克。;阿伦·斯塔姆;Tjark韦伯 2013年对SMT-COMP和SMT-LIB的评估。 (英语) Zbl 1356.68185号 J.汽车。推理 55,No.1,61-90(2015).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Cok}等人,J.Autom。推理55,No.1,61--90(2015;Zbl 1356.68185) 全文: 内政部
博塔纳,弗朗西斯科;马库斯·霍恩沃特;Janičić,普雷德拉格;佐尔坦科瓦奇;伊万·彼得罗维奇;托马斯·雷西奥;西蒙·魏茨霍弗 GeoGebra中的自动定理证明:当前成就。 (英语) Zbl 1356.68181号 J.汽车。推理 55,第1号,39-59(2015).MSC公司:68吨15 97Gxx型 97U70型 PDF格式BibTeX公司 XML格式引用 \textit{F.Botana}等人,J.Autom。推理55,No.1,39-59(2015;Zbl 1356.68181) 全文: 内政部 链接
劳伦斯·C·鲍尔森。 使用名义伊莎贝尔对哥德尔不完全性定理的机械化证明。 (英语) Zbl 1357.68200号 J.汽车。推理 55,编号1,1-37(2015).MSC公司:68吨15 03B35型 30楼03号 03F40型 PDF格式BibTeX公司 XML格式引用 \文本{L.C.Paulson},J.Autom。推理55,No.1,1-37(2015;Zbl 1357.68200) 全文: 内政部 arXiv公司