创新平面几何试题并能自动推理的《数学实验室——平面几何》 |
| |
引用本文: | 段敏.创新平面几何试题并能自动推理的《数学实验室——平面几何》[J].合肥学院学报(自然科学版),2002(2). |
| |
作者姓名: | 段敏 |
| |
作者单位: | 合肥教育学院数学系 安徽 |
| |
摘 要: | 本文主要论述了《数学实验室》系列软件之一平面几何的主要功能与自动推理这一重大研究成果在教育教学中的应用,使数学教师能够深入研究几何问题并能辅助几何教学,创新试题启发与调动学生发散思维,创作自主学习的环境。
|
关 键 词: | 机器证明 自动推理 几何信息库 |
本文献已被 CNKI 等数据库收录! |
|