| 摘要 | 第1-8页 |
| Abstract | 第8-12页 |
| 第一章 引言 | 第12-35页 |
| ·符号算法 | 第13-31页 |
| ·数值算法 | 第31-33页 |
| ·本文的选题和主要工作 | 第33-35页 |
| 第二章 求解非线性多项式方程组的混合算法 | 第35-89页 |
| ·区间运算 | 第35-47页 |
| ·代数数运算 | 第47-52页 |
| ·方程组求解的相关算法 | 第52-59页 |
| ·给定区域内解的存在性测试 | 第59-62页 |
| ·非线性多项式方程组的混合算法 | 第62-87页 |
| ·本章小结 | 第87-89页 |
| 第三章 符号-数值混合算法的应用 | 第89-99页 |
| ·背景介绍 | 第89-92页 |
| ·主要算法 | 第92-97页 |
| ·本章小结 | 第97-99页 |
| 第四章 组合几何的若干问题 | 第99-118页 |
| ·一个组合几何最优化未解决问题的半机械化解法 | 第99-110页 |
| ·求证根式不等式的一类算法 | 第110-117页 |
| ·本章小结 | 第117-118页 |
| 第五章 总结与展望 | 第118-120页 |
| 附录A 30 Examples | 第120-123页 |
| 参考文献 | 第123-133页 |
| 致谢 | 第133-135页 |
| 发表论文和参与科研情况 | 第135-136页 |