叶，郑;周尚卿;高小山 Java几何专家简介。（扩展摘要）。 （英语） Zbl 1302.68247号 Sturm，Thomas（编辑）等人，《几何中的自动演绎》。第七届国际研讨会，2008年ADG，中国上海，2008年9月22日至24日。修订论文。柏林：施普林格出版社（ISBN 978-3-642-21045-7/pbk）。计算机科学6301课堂讲稿。《人工智能课堂讲稿》，189-195年（2011年）。 摘要：本文简要介绍了Java Geometry Expert（JGEX）系统。该系统由三部分组成：绘图部分、证明和推理部分，以及最具特色的部分——生成平面几何中证明的可视化动态表示部分。JGEX的当前版本是beta 0.80，可在我们的网站woody上获得：网址：http://woody.cs.wichita.edu.关于整个系列，请参见[Zbl 1214.68020号]. 引用于13文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 51-04 几何相关问题的软件、源代码等 关键词：平面几何;几何定理证明;视觉动态演示;毕达哥拉斯定理 软件：GEX公司;日本国债交易所 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ye}等人，Lect。注释计算。科学。6301189--195（2011；Zbl 1302.68247） 全文： 内政部