叶,郑;周尚卿;高小山 平面几何中证明的视觉动态呈现。一: 基本功能和手动输入方法。 (英语) Zbl 1211.68372号 J.汽车。推理 第31213-241号第45页(2010年).MSC公司:68吨15 51-04 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ye}等人,J.Autom。推理45,No.3,213--241(2010;Zbl 1211.68372) 全文: 内政部
朱利安·纳布克斯 用于几何形式证明的图形用户界面。 (英语) 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) 全文: 内政部 链接