| 前言 | 第1-7页 |
| 第一章 相关的完整性理论简介 | 第7-14页 |
| 1．1 完整性函数的基本知识 | 第7-11页 |
| 1．2 Zeilberger利用完整性理论证明恒等式的基本思想 | 第11-14页 |
| 第二章 Weyl代数中的吴消元法 | 第14-26页 |
| 2．1 吴方法中的求余和辗转互除 | 第14-15页 |
| 2．2 Weyl代数中求余和辗转互除 | 第15-21页 |
| 2．3 A_2（C）中的两个多项式消元 | 第21-26页 |
| 第三章 组合恒等式的证明 | 第26-38页 |
| 3．1 单变量超几何级数恒等式的证明 | 第26-32页 |
| 3．2 多变量可终止超几何级数和的证明 | 第32-38页 |
| 第四章 用Mathematica实现算法 | 第38-49页 |
| 4．1 实现算法前的准备 | 第38-40页 |
| 4．2 程序的主体部分 | 第40-41页 |
| 4．3 程序的适用范围及实例 | 第41-49页 |
| 附录 | 第49-58页 |
| 参考文献 | 第58-60页 |
| 致谢 | 第60页 |