佩德罗·夸雷斯马;努诺·贝塔 I2GATP通用格式的当前状态。 （英语） Zbl 1434.68643号 Botana，Francisco（编辑）等人，《几何中的自动演绎》。2014年7月9日至11日在葡萄牙科英布拉举行的ADG 2014第十届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9201, 119-128 (2015).MSC公司：68伏15 68单位05 68版本20 68伏30 PDF格式BibTeX公司 XML格式引用 \textit｛P.Quaresma｝和\textit｛N.Baeta｝，Lect。注释计算。科学。9201119-128（2015年；Zbl 1434.68643） 全文： 内政部
范、团明;伊夫·贝托特 动态几何软件与交互式形式证明辅助工具的组合。 （英语） 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年；Zbl 1294.68126） 全文： 内政部
贾尼契奇，普雷德拉格;佩德罗·夸雷斯马 动态几何系统中规则构造的自动验证。 （英语） Zbl 1195.68092号 Botana，Francisco（编辑）等人，《几何中的自动演绎》。2006年8月31日至9月2日，第六届国际研讨会，ADG 2006，西班牙蓬特韦德拉。修订论文。柏林：施普林格出版社（ISBN 978-3-540-77355-9/pbk）。计算机科学课堂讲稿4869。人工智能课堂讲稿，39-51（2007）。MSC公司：68吨15 51-04 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{P.Janić}和\textit{P.Quaresma}，莱克托。注释计算。科学。4869，39-51（2007；Zbl 1195.68092） 全文： 内政部