范、团明；伊夫·贝托特 动态几何软件与交互式形式证明辅助工具的组合。 （英语） 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） 全文： 内政部
佩德罗·夸雷斯马；贾尼契奇，普雷德拉格 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） 全文： 内政部 链接