基于超级画板的平面几何自动推理 |
| |
引用本文: | 王峰,刘海江.基于超级画板的平面几何自动推理[J].教育教学论坛,2012(20):177-178. |
| |
作者姓名: | 王峰 刘海江 |
| |
作者单位: | 南阳师范学院数学与统计学院;江西省赣县中学 |
| |
摘 要: | 如何利用计算机进行几何定理的自动证明,是学术界长期研究的课题。本文从直接启动自动推理、增加条件或结论的推理以及设置推理规则的推理三个方面对张景中院士领衔开发的Z+Z智能教育平台——超级画板软件的功能展开论述,并举例介绍三种方法的操作过程。
|
关 键 词: | 超级画板 平面几何 自动推理 |
本文献已被 CNKI 等数据库收录! |
|