迈克尔·比森;玛丽亚·保拉(Maria Paola Bonacina);迈克尔·基扬;杰夫·萨特克利夫 拉里·沃斯:自动化推理的愿景。 (英语) Zbl 1511.68005号 J.汽车。推理 66,第4期,439-461(2022).MSC公司:68-03 01A70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson}等人,J.Autom。推理66,No.4,439--461(2022;Zbl 1511.68005) 全文: 内政部
迈克尔·比森 计算机校对后的欧几里得。 (英语) Zbl 07566943号 美国数学。周一。 129,编号7,623-646(2022).MSC公司:03B30型 03B35型 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson},美国数学。周一。129,编号7,623--646(2022;Zbl 07566943) 全文: 内政部 arXiv公司
雅罗斯拉夫·麦克;吉里·塞德拉尔;米罗斯拉夫·奥萨克;约瑟夫·乌尔班;约瑟夫·西维奇 学习从图像中解决几何构造问题。 (英语) Zbl 1485.68271号 Kamaredine,Fairouz(编辑)等人,《智能计算机数学》。2021年7月26日至31日,罗马尼亚蒂米苏拉第十四届国际会议,CICM 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12833167-184(2021年)。MSC公司:05年6月 68T05型 68T45型 PDF格式BibTeX公司 XML格式引用 \textit{J.Macke}等人,Lect。注释计算。科学。12833、167--184(2021年;Zbl 1485.68271) 全文: 内政部 arXiv公司
达尼耶拉·西米奇;Marić,菲律宾;皮埃尔·布特里 双曲几何庞加莱圆盘模型的形式化。 (英语) Zbl 07356967号 J.汽车。推理 65,编号1,31-73(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Simić}等人,J.Autom。推理65,No.1,31--73(2021;Zbl 07356967) 全文: 内政部 哈尔
姆拉丹·尼科利奇;韦斯纳·马林科维奇;佐尔坦科瓦奇;贾尼契奇,普雷德拉格 几何投资组合定理证明和证明程序运行时预测。 (英语) Zbl 1431.68123号 安。数学。Artif公司。智力。 85,编号2-4119-146(2019).MSC公司:68伏15 2004年5月5日 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Nikolić}等人,《数学年鉴》。Artif公司。智力。85,编号2--4,119-146(2019;Zbl 1431.68123) 全文: 内政部
皮埃尔·布特里;加布里埃尔·布劳恩;朱利安·纳布克斯 欧氏平面几何算法的形式化及其应用。 (英语) Zbl 1394.68349号 J.塞姆。计算。 90, 149-168 (2019).MSC公司:68吨15 03B30型 03B35型 2004年5月5日 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{P.Boutry}等人,J.Symb。计算。90149-168(2019年;兹比尔1394.68349) 全文: 内政部 哈尔
迈克尔·比森 布鲁尔和欧几里德。 (英语) Zbl 1437.03171号 印度。数学。,新序列号。 29,第1期,483-533(2018).MSC公司:03楼55 03B30型 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \发短信{M.Beeson},印第安纳州。数学。,新序列号。29,第1号,483--533(2018;Zbl 1437.03171) 全文: 内政部 arXiv公司
杰夫·萨特克利夫 CADE-26自动定理证明系统竞赛–CASC-26。 (英语) Zbl 1462.68219号 AI通讯。 30,第6期,419-432(2017).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Sutcliffe},人工智能通信。30,第6号,419--432(2017;Zbl 1462.68219) 全文: 内政部