內容提要
本書介紹計算機代數的基本概念、方法、軟體和部分套用。全書共分8章，論述大整數和多項式的表示與基本運算、結式與子結式、模方法與多項式的最大公因子、p進方法與多項式的因子分解、特徵列方法、Grobner基方法和實閉域上的量詞消去。書中給出了基本算法的複雜度估計，並綜述了各種計算機代數系統。本書側重於基礎知識、經典結果和著名算法，但也包含了少量最新研究成果。
本書可作為高等院校數學系和計算機科學系高年級學生及研究生的教材，也可供有關科研和工程技術人員參考。
目錄
第一章引論
1.1數學與計算
1.2計算機代數簡介
1.3理論、算法與實施
1.4計算機代數系統
1.5問題及套用舉例
1.6代數計算演示
習題
第二章數據表示與基本運算
2.1大整數的表示
2.2算法複雜度
2.3整數運算
2.4多項式及其表示
2.5多項式運算
2.6理想和數域
2.7有限域上的運算
習題
第三章結式與子結式
3.1一元與二元結式
3.2Macaulay多元結式
3.3結式的套用
3.4子結式與Habicht定理
3.5子結式鏈定理
習題
第四章模方法與最大公因子
4.1多項式餘式序列與最大公因子
4.2子結式多項式餘式序列
4.3同態像與模方法
4.4中國剩餘定理
4.5一元多項式的最大公因子
4.6多元多項式的最大公因子
習題
第五章p進方法與因子分解
5.1p進表示與理想進表示
5.2NCWton疊代
5.3無平方因子分解
5.4有限域上的因子分解
5.5 Hellsel提升
5.6整數環上的因子分解
5.7多元多項式的因子分解
5.8擴展Zasseilhaus最大公因子算法
習題
第六章特徵列方法
6.1三角列與特徵列
6.2吳-Ritt算法
6.3多項式組的零點分解
6.4三角列的性質
6.5特徵列的套用
習題
第七章Gr6bner基方法
7.1項序
7.2多項式的約化
7.3Gr6bner基及其性質
7.4Bucht)ergei’算法
7.5約化Gr6bner基
7.6Grobner基的套用
習題
第八章實閉域上的量詞消去
8.1實閉域
8.2多項式實根個數的判定
8.3多項式的實根隔離算法
8.4柱形代數分解
8.5套用舉例
習題
附錄A計算機代數系統
A.1數學軟體淺說
A.2M即le概略
A.3通用系統評介
A.4專用系統一覽
附錄B子結式鏈定理的證明
參考文獻
索引
