| 0 前言 | 第1-8页 |
| 1 q-恒等式的基本概况 | 第8-16页 |
| ·Gauss二项式系数 | 第8-9页 |
| ·Gauss二项式系数与经典二项式系数 | 第9-12页 |
| ·分拆与Gauss二项式系数恒等式 | 第12-16页 |
| 2 证明q-恒等式的三种主要方法 | 第16-26页 |
| ·变换的方法 | 第16-19页 |
| ·反演的方法 | 第19-23页 |
| ·WZ-方法 | 第23-26页 |
| 3 Weyl代数中的消元 | 第26-40页 |
| ·基本概念和基本理论 | 第26-29页 |
| ·Weyl代数中的消元 | 第29-40页 |
| ·Weyl代数中多项式A对B求余 | 第29-31页 |
| ·两个多项式在非交换Weyl代数中的辗转互除 | 第31-33页 |
| ·两个多项式在非交换Weyl代数C＜Q_n，Q_k，q~n，q~k＞中的消元 | 第33-36页 |
| ·单变量q-超几何恒等式的证明 | 第36-37页 |
| ·具体实例 | 第37-40页 |
| 4 用Maple实现算法 | 第40-43页 |
| ·实现算法前的说明 | 第40-41页 |
| ·程序的主体部分及程序的适用范围 | 第41-43页 |
| 附录1 | 第43-52页 |
| 参考文献 | 第52-54页 |
| 附录2 | 第54-55页 |
| 致谢 | 第55-57页 |