第一章 多项式运算与零点 1
1.1 多项式 1
1.2 最大公因子、伪除与多项式余式序列 5
1.3 结式与子结式 11
1.4 域的扩张与因子分解 19
1.5 零点与理想 22
1.6 希尔伯特零点定理 23
第二章 多项式系统的零点分解 25
2.1 三角系统 25
2.2 基于特征列的算法 30
2.3 改良的赛登贝格算法 43
2.4 基于子结式的算法 53
第三章 正则系统与简单系统 61
3.1 分解为正则系统 62
3.2 正则系统的性质 67
3.3 分解为简单系统 76
3.4 简单系统的性质 86
第四章 投影与不可约零点分解 92
4.1 投影 92
4.2 带投影的零点分解 101
4.3 三角列的不可约性 111
4.4 分解为不可约三角系统 116
4.5 不可约三角系统的性质 126
第五章 典范三角列、格罗布讷基与结式法 134
5.1 典范三角列 134
5.2 不可约简单系统 143
5.3 格罗布讷基 146
5.4 结式消元 154
第六章 计算代数几何与多项式理想论 172
6.1 维数 172
6.2 代数簇的分解 177
6.3 理想及根理想的从属关系 197
6.4 理想的准素分解 199
第七章 解代数方程组 204
7.1 一般原理 204
7.2 解零维系统 207
7.3 解高维系统 215
7.4 解参数系统 219
8.1 基本方法 222
第八章 几何定理机器证明与发现 222
8.2 完整方法 229
8.3 举例 235
8.4 发现几何定理 249
第九章 其他应用 256
9.1 轨迹方程的自动推导 256
9.2 参数对象的隐式化 261
9.3 奇点的存在性条件与检测 265
9.4 代数因子分解 270
9.5 一类微分系统的中心条件 281
文献注记 287
参考文献 290
索引 296