佩德罗·夸雷斯马 几何中的自动演绎和知识管理。 (英语) Zbl 1474.68453号 数学。计算。科学。 14,第4期,673-692(2020年).MSC公司:68伏15 51-08 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{P.Quaresma},数学。计算。科学。14,第4号,673--692(2020;Zbl 1474.68453) 全文: 内政部
姆拉丹·尼科利奇;韦斯纳·马林科维奇;佐尔坦科瓦奇;贾尼契奇,普雷德拉格 几何投资组合定理证明和证明程序运行时预测。 (英语) Zbl 1431.68123号 安。数学。Artif公司。智力。 85,编号2-4,119-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) 全文: 内政部
佐尔坦科瓦奇 GeoGebra 5中的关系工具。 (英语) Zbl 1434.97015号 Botana,Francisco(编辑)等人,《几何中的自动演绎》。2014年7月9日至11日,第十届国际研讨会,ADG 2014,葡萄牙科英布拉。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9201, 53-71 (2015).MSC公司:97U70型 97G10型 68伏15 68瓦30 97N80型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kovács},莱克特。注释计算。科学。9201,53--71(2015;Zbl 1434.97015) 全文: 内政部
范、团明;伊夫·贝托特 动态几何软件与交互式形式证明辅助工具的组合。 (英语) Zbl 1294.68126号 Aspinall,David(编辑)等人,第九届定理证明器用户界面国际研讨会论文集(UITP10),英国爱丁堡,2010年7月15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记285,43-55(2012)。MSC公司:第68页第15页 68单位05 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Pham}和\textit{Y.Bertot},电子。理论注释。计算。科学。285、43-55(2012年;Zbl 1294.68126) 全文: 内政部
贾尼契奇,普雷德拉格;朱利安·纳布;佩德罗·夸雷斯马 面积法。概述。 (英语) Zbl 1242.68281号 J.自动化。推理 48,第4期,489-532(2012).MSC公司:第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Janić}等人,J.Autom。推理48,No.4,489--532(2012;Zbl 1242.68281) 全文: 内政部
杰恩·达维德·盖内沃;朱利安·纳布克斯;帕斯卡·施雷克 Coq中吴的简单方法的形式化。 (英语) Zbl 1350.68234号 Jouannaud,Jean-Pierre(编辑)等人,《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-25378-2/pbk)。计算机科学课堂讲稿7086,71-86(2011)。MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.-D.Génevaux}等人,Lect。注释计算。科学。7086、71--86(2011;Zbl 1350.68234) 全文: 内政部
乔纳森·博文(Jonathan M.Borwein)。(编辑);尤格尼奥·罗查。(编辑);罗德里格斯,何塞·弗朗西斯科(编辑) 数字时代的数学交流(CMDE 2006)。根据2006年8月15日至18日在葡萄牙阿韦罗举行的会议(CMDE 2006)上的发言选出的论文。 (英语) Zbl 1169.68649号 马萨诸塞州韦尔斯利:A K Peters(ISBN 978-1-56881-410-0/hbk)。xii,第325页。(2008年)。MSC公司:68单位99 68-06 00轴 00B25型 68T05型 68M10个 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Borwein}(编辑)等人,《数字时代的数学交流》(CMDE 2006)。根据2006年8月15日至18日在葡萄牙阿韦罗举行的会议(CMDE 2006)上的发言选出的论文。马萨诸塞州韦尔斯利:A K Peters(2008;Zbl 1169.68649)
佩德罗·夸雷斯马;贾尼契奇,普雷德拉格 GeoThms–用于欧几里德构造几何的网络系统。 (英语) 兹比尔1278.68279 Autexier,Serge(编辑)等人,第七届定理证明器用户界面研讨会论文集(UITP 2006),西雅图,华盛顿州,美国,2006年8月21日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第2期,35-48(2007)。MSC公司:第68页第15页 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{P.Quaresma}和\textit{P.Janić},电子。理论注释。计算。科学。174,第2号,35-48(2007年;兹bl 1278.68279) 全文: 内政部