创新平面几何试题并能自动推理的《数学实验室--平面几何》

摘要

本文主要论述了<数学实验室>系列软件之一平面几何的主要功能与自动推理这一重大研究成果在教育教学中的应用,使数学教师能够深入研究几何问题并能辅助几何教学,创新试题启发与调动学生发散思维,创作自主学习的环境.