贾尼契奇，普雷德拉格；朱利安·纳布克斯 自动生成几何及其他方面的图解证明。 （英语） Zbl 07785121号 安。数学。Artif公司。智力。 91，第6号，797-820（2023）.MSC公司：68T20型 68立方英尺 68T50型 51-04 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Janić}和\textit{J.Narboux}，《数学年鉴》。Artif公司。智力。91，编号6，797--820（2023；Zbl 07785121） 全文： 内政部
佩德罗·夸雷斯马 几何中的自动演绎和知识管理。 （英语） 兹比尔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ć}等人，Ann.Math。Artif公司。智力。85，编号2--4，119-146（2019；Zbl 1431.68123） 全文： 内政部
皮埃尔·布特里；加布里埃尔·布劳恩；朱利安·纳布克斯 欧氏平面几何算法的形式化及其应用。 （英语） Zbl 1394.68349号 J.塞姆。计算。 90, 149-168 (2019).MSC公司：68吨15 03立方厘米30 03B35型 2004年5月5日 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{P.Boutry}等人，J.Symb。计算。90149-168（2019年；兹比尔1394.68349） 全文： 内政部 哈尔
佐尔坦科瓦奇 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}，电子。注释Theor。计算。科学。285，43-55（2012年；兹bl 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中吴的简单方法的形式化。 （英语） 兹比尔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） 全文： 内政部
佩德罗·夸雷斯马；贾尼契奇，普雷德拉格 GeoThms–用于欧几里德构造几何的网络系统。 （英语） Zbl 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ć}，电子。注释Theor。计算。科学。174，编号2，35-48（2007；Zbl 1278.68279） 全文： 内政部
朱利安·纳布克斯 用于几何形式证明的图形用户界面。 （英语） Zbl 1131.68094号 J.汽车。推理 39，第2期，161-180（2007）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Narboux}，J.Autom（杰·纳布克斯）。推理39，No.2，161--180（2007；Zbl 1131.68094） 全文： 内政部 链接