周尚卿；高晓山；张建忠。 几何的机器证明。几何定理可读证明的自动生成。 （英语） Zbl 0941.68503号 应用科学数学进展系列6。新加坡：世界科学（ISBN 981-02-1584-3/hbk；978-981-279-815-2/电子书）。十七、461页。(1994). 出版商描述：本书报告了几何自动推理的最新重大进展。作者开发了一种方法并实现了一个计算机程序，该程序首次为数百个几何定理提供了简短易读的证明。本书以介绍小学水平的方法的章节开始，高中生可以使用；后几章集中讨论了主要主题：该方法的算法和计算机实现。这本书把人工智能、计算机科学和数学的研究人员带到了自动化几何推理的新研究前沿。此外，它还可以作为学生、教师和几何工作者的补充几何教科书。通过提出一种系统的几何定理证明方法，使几何的学习和教学变得更加容易，并可能改变几何教育的方式。 引用于1审查引用于42文件 MSC公司： 68-02 与计算机科学有关的研究展览会（专著、调查文章） 2004年5月5日 欧几里德几何中的基本问题 03B35型 证明和逻辑操作的机械化 68吨15 定理证明（演绎、解析等）（MSC2010） 51A99号 线性入射几何 PDF格式BibTeX公司 XML格式引用 \textit{S.-C.Chou}等人，《几何中的机器证明》。几何定理可读证明的自动生成。新加坡：《世界科学》（1994年；兹bl 0941.68503） 全文： 内政部