基于超级画板的平面几何自动推理

摘要

如何利用计算机进行几何定理的自动证明，是学术界长期研究的课题。本文从直接启动自动推理、增加条件或结论的推理以及设置推理规则的推理三个方面对张景中院士领衔开发的Z+Z智能教育平台——超级画板软件的功能展开论述，并举例介绍三种方法的操作过程。