| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 目录 | 第7-8页 |
| Contents | 第8-10页 |
| 第一章 不等式软件的基本情况及使用方法 | 第10-28页 |
| ·BOTTEMA 软件概述及产生的背景 | 第10-11页 |
| ·BOTTEMA 的基本原理和算法 | 第11-18页 |
| ·BOTTEMA 的发展与展望 | 第18-20页 |
| ·BOTTEMA 的使用方法 | 第20-26页 |
| ·本文的工作 | 第26-28页 |
| 第二章 BOTTEMA 引入不等式教学的必要性与实际操作 | 第28-42页 |
| ·关于不等式方面的基础知识 | 第28-30页 |
| ·不等式的基本常识 | 第28页 |
| ·一些基本不等式的介绍 | 第28-30页 |
| ·数学教学的认识与思考 | 第30-33页 |
| ·对数学教学的一点认识 | 第30-31页 |
| ·不等式教学的现状及思考 | 第31-33页 |
| ·不等式机器证明思想的重要性 | 第33-35页 |
| ·科研上的必要性及可行性 | 第33-34页 |
| ·顺应教育信息化的发展要求 | 第34页 |
| ·不等式可读证明的广阔前景 | 第34-35页 |
| ·高校不等式教材的扩充内容 | 第35-41页 |
| ·《不等式及其计算机证明》的教材章节编排 | 第35-36页 |
| ·《不等式及其计算机证明》的课程标准 | 第36-41页 |
| ·本章小结 | 第41-42页 |
| 第三章 该教材引入教学的方法初探 | 第42-70页 |
| ·机器证明理论及实践引入教学的方法与预期效果 | 第42-50页 |
| ·该软件部分底层算法思想的朴素数学基础列举 | 第50-52页 |
| ·该软件在不等式命题中的作用 | 第52-63页 |
| ·该课程对学生思维进步的作用 | 第63-67页 |
| ·在教学过程中可能产生的问题及建议解决办法 | 第67页 |
| ·对BOTTEMA 软件的改进意见 | 第67-68页 |
| ·本章小结 | 第68-70页 |
| 第四章 结论与展望 | 第70-72页 |
| ·本文的工作成果及意义 | 第70页 |
| ·今后的研究方向 | 第70-72页 |
| 参考文献 | 第72-73页 |
| 攻读硕士学位期间发表的论文 | 第73-74页 |
| 致谢 | 第74页 |