期刊文章详细信息
文献类型:期刊文章
机构地区:[1]合肥教育学院数学系,安徽合肥230001
年 份:2002
卷 号:19
期 号:2
起止页码:5-8
语 种:中文
收录情况:普通刊
摘 要:本文主要论述了《数学实验室》系列软件之一平面几何的主要功能与自动推理这一重大研究成果在教育教学中的应用,使数学教师能够深入研究几何问题并能辅助几何教学,创新试题启发与调动学生发散思维,创作自主学习的环境。
关 键 词:创新 平面几何 数学实验室 机器证明 自动推理 几何信息库 几何教学
分 类 号:O123.1[数学类] G434]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...