| 致谢 | 第1-4页 |
| 中文摘要 | 第4-9页 |
| 引言 | 第9-14页 |
| 英文摘要 | 第14-16页 |
| 第一章 非线性代数方程组的Wu-Ritt特征集方法 | 第16-45页 |
| 第一节 多项式组的Wu-Ritt整序 | 第16-26页 |
| 第二节 多项式方程组的特征集方 | 第26-28页 |
| 第三节 多项式组的Wu-Ritt整序与数学定理机器证明 | 第28-32页 |
| 第四节 不可约升列与吴法可约性困难 | 第32-35页 |
| 第五节 几何定理机器证明的WE完全方法 | 第35-45页 |
| 第二章 WR相对单纯分解算法分解及扩WE相对单纯分解算法 | 第45-72页 |
| 第一节 多项式组的相关性 | 第46-55页 |
| 第二节 WR相对单纯分解算法 | 第55-62页 |
| 第三节 扩WE相对单纯分解算法 | 第62-72页 |
| 第三章 Gr(?)bner基法、非混合分解算法及Dixon结式方法 | 第72-92页 |
| 第一节 Gr(?)bner基简介 | 第72-77页 |
| 第二节 零点定理和根理想 | 第77-79页 |
| 第三节 Gr(?)bner基法 | 第79-81页 |
| 第四节 非混合零点分解 | 第81-84页 |
| 第五节 Dixcon结式方法 | 第84-92页 |
| 第四章 非线性代数方程组的扩WESOLVE分解、真正常分解算法 | 第92-108页 |
| 第一节 多项式方程组的WRSOLVE算法 | 第92-95页 |
| 第二节 多项式方程组的扩WESOLVE算法 | 第95-98页 |
| 第三节 多项式方程组的真正常分解算法 | 第98-107页 |
| 第四节 问题及今后研究的方向 | 第107-108页 |
| 附录A | 第108-112页 |
| 附录B | 第112-123页 |
| 附录C | 第123-132页 |
| 附录D | 第132-136页 |
| 参考文献 | 第136-142页 |
