| 第一章 AC=BD理论与微分方程（组）的求解 | 第1-22页 |
| 1．1 C-D可积系统与C—D对 | 第7-10页 |
| 1．2 弹性力学中的C—D网 | 第10-14页 |
| 1．3 C—D对的构造方法 | 第14-22页 |
| 1．3．1 微分代数消去法 | 第14-17页 |
| 1．3．2 待定算子带余除法 | 第17-22页 |
| 第二章 吴微分特征列 | 第22-43页 |
| 2．1 基础知识 | 第22-26页 |
| 2．1．1 有序组 | 第22-23页 |
| 2．1．2 微分方程组的项序与约化 | 第23-26页 |
| 2．2 微分升列与微分余式 | 第26-29页 |
| 2．3 吴微分特征列 | 第29-33页 |
| 2．3．1 微分多项式升列集的完备化 | 第29-30页 |
| 2．3．2 微分多项式升列集的可积多项式 | 第30-31页 |
| 2．3．3 吴微分特征列 | 第31-33页 |
| 2．4 微分零点与微分代数簇 | 第33-34页 |
| 2．5 微分特征列集的形式幂级数 | 第34-40页 |
| 2．6 利用吴微分特征列集构造一类微分方程组的通解 | 第40-43页 |
| 第三章 应用 | 第43-71页 |
| 3．1 Reid标准型 | 第43-45页 |
| 3．2 一类偏微分方程组的通解的机械化构造方法 | 第45-56页 |
| 3．2．1 矩阵多元多项式的带余除法 | 第45-48页 |
| 3．2．2 微分方程组的通解的机械化算法 | 第48-56页 |
| 3．3 力学方程的自动推理 | 第56-60页 |
| 3．4 形式可积系统完备化的机械化证明方法 | 第60-71页 |
| 3．4．1 Rosenfeld-Grobner基 | 第60-62页 |
| 3．4．2 算例 | 第62-71页 |
| 参考文献 | 第71-73页 |