内容介绍
用户评论
全部咨询
本书系统介绍多项式系统零点分解的消去算法。这些算法能将任意多元多项式系统分解为三角系统、正则系统、简单系统、具有投影特性的三角系统和不可约三角系统。各种三角型系统理论上性质殊异,计算上难易匪同,应用上则各有所长。书中还简述基于结式和格罗布讷基的消去算法,讨论代数簇的等维与不可约分解以及多项式理想的准素分解,并介绍符号消去法的若干应用,包括代数方程求解、几何定理求证、多项式因子分解和微分系统的定性分析。
本书可供有关科研和工程技术人员参考,也可作为高等院校数学和计算机科学系高年级学生及研究生的教学参考书。
目录
- 第一章 多项式运算与零点
1.1多项式
1.2最大公因子、伪除与多项式余式序列
1.3结式与子结式
1.4域的扩张与因子分解
1.5零点与理想
1.6希尔伯特零点定理
第二章 多项式系统的零点分解
2.1三角系统
2.2基于特征列的算法
2.3改良的赛登贝格算法
2.4基于子结式的算法
第三章 正则系统与简单系统
3.1分解为正则系统
3.2正则系统的性质
3.3分解为简单系统
3.4简单系统的性质
第四章 投影与不可约零点分解
4.1投影
4.2带投影的零点分解
4.3三角列的不可约性
4.4分解为不可约三角系统
4.5不可约三角系统的性质
第五章 典范三角列、格罗布呐基与结式法
5.1典范三角列
5.2不可约简单系统
5.3格罗布讷基
5.4结式消元
第六章 计算代数几何与多项式理想论
6.1维数
6.2代数簇的分解
6.3理想及根理想的从属关系
6.4理想的准素分解
第七章 解代数方程组
7.1一般原理
7.2解零维系统
7.3解高维系统
7.4解参数系统
第八章 几何定理机器证明与发现
8.1基本万法
8.2完整页法
8.3举例
8.4发现几何定理
第九章 其他应用
9.1轨迹方程的自动推导
9.2参数对象的隐式化
9.3奇点的存在性条件与检测
9.4代数因子分解
9.5一类微分系统的中心条件
文献注记
参考文献
索引