佩德罗·夸雷斯马 几何中的自动演绎和知识管理。 （英语） 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 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。计算。90、149——168（2019年；Zbl 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格式引用 \文本{Z.Kovács}，勒克特。注释计算。科学。9201,53--71（2015；Zbl 1434.97015） 全文： 内政部
杰恩·达维德·盖内沃;朱利安·纳布克斯;帕斯卡·施雷克 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） 全文： 内政部