声明
第一章 绪论
1.1 研究背景及意义
1.2 研究现状
1.3 研究内容
1.4 论文组织结构
第二章 相关理论与技术
2.1 自动推理技术
2.2 知识库技术
2.3 蒙特卡洛树搜索
2.4 等价类与Groebner Basis
2.5 本章小结
第三章 初等数学辅助线(点)的研究及认知建模
3.1 知识的表示
3.2 初等数学常见辅助线(点)体系结构
3.3 基于蒙特卡洛树搜索的辅助线(点)自动添加方法
3.4 本章小结
第四章 基于辅助线(点)自动添加的立体几何问题求解系统
4.1 系统需求分析
4.2 系统总体架构
4.3 数据库设计
4.4 系统详细设计与实现
4.5 本章小结
第五章 系统测试与分析
5.1 系统测试
5.2 测试分析
第六章 总结与展望
6.1 总结
6.2 展望
致谢
参考文献
攻硕期间取得的研究成果