主要研究内容:为了充分挖掘“几何定理机器证明”理论和技术的教学价值，满足中学几何教学的实际需求，本项目开展有限制条件的“几何定理机器证明”研究，在提高算法推理能力的同时，对算法的推理规则、证明的长度和证明的表达形式等进行限制，使之能满足教学需求的同时，并为设计和开发智能数学教育软件奠定理论和技术基础。