计算机代数讲义

第一章 引言
1.1 计算机代数介绍
1.2 计算机代数系统简史
1.3 计算机代数系统Maple简介
1.4 描述算法的一些术语和记号
习题一
第二章 数据的表示与基本运算
2.1 大整数的表示与运算
2.1.1 大整数的加法
2.1.2 大整数的乘法
2.1.3 大整数的除法
2.1.4 最大公因数
2.2 多项式的表示与计算
2.2.1 一元多项式
2.2.2 多元多项式
2.2.3 可计算域k上的n元多项式
2.3 同余与中国剩余定理
2.3.1 整数的同余
2.3.2 多项式的同余
2.3.3 插值与中国剩余定理
2.4 环与理想
2.4.1 环的概念
2.4.2 环的理想
2.4.3 唯一分解环
2.4.4 扩张定理
习题二
第三章 结式与子结式
3.1 结式的概念与基本性质
3.2 多项式的公共零点与重根判定
3.3 行列式多项式
3.4 子结式
3.5 子结式链定理
3.6 子结式与余式序列
3.7 其他结式
习题三
第四章 整系数多项式的模算法
4.1 求一元多项式的最大公因子
4.2 求多元多项式的最大公因子
4.2.1 二元多项式
4.2.2 n元多项式
4.3 adic表示
4.3.1 整系数多项式的p-矿adic表示
4.3.2 Newton迭代
4.3.3 解Diophantus方程
4.4 一元多项式的因子分解
4.4.1 无平方分解
4.4.2 Berlekamp算法
4.4.3 Hertsel提升方法
4.5 多元多项式的分解算法
习题四
第五章 特征集方法
5.1 约化三角列
5.2 特征集与吴Ritt算法
5.2.1 吴零点分解定理
5.2.2 吴Ritt算法
5.3 不可约三角列
5.4 正则三角列
5.5 几何定理证明
习题五
第六章 Grobner基
6.1 项序
6.2 Grobner基
6.3 Buchberger算法
6.4 计算多项式理想
6.5 解代数方程组
6.5.1 Hilbert零点定理
6.5.2 零维理想的零点
习题六
第七章 实系数多项式
7.1 多项式根的界
7.2 实根个数判定
7.2.1 Sturm-Tarski定理
7.2.2 Fourier序列
7.3 判别式系统
7.4 实代数数及其表示
7.5 实代数数的计算
习题七
第八章 实闭域上的量词消去
8.1 实闭域
8.1.1 实闭域公理系统
8.1.2 实闭域的几个基本性质
8.2 半代数集
8.3 柱代数分解
8.4 命题代数与量词消去
习题八
第九章 形式积分
9.1 微分域与微分扩张
9.2 有理函数的积分
9.2.1 部分分式
9.2.2 将积分拆为有理部分和对数部分
9.2.3 求积分的对数部分
9.3 初等函数的积分
9.3.1 Liouville原理
9.3.2 对数函数积分
9.3.3 指数函数积分
9.3.4 代数函数积分
习题几
参考文献
索引