機械化數(shù)學引論

引言　關(guān)于數(shù)學機械化
第一章　代數(shù)預備知識
　1.1　數(shù)域的概念
　1.2　多項式環(huán)
　1.3　比域和擴域
　1.4　多元多項式環(huán)
第二章　代數(shù)方程組求解
　2.1　多項式方程組的零點集
　2.2　余式公式
　2.3　多項式組的特征列
　2.4　基本定理的證明
　2.5　零點定理
第三章　代數(shù)幾何的構(gòu)造性研究
　3.1　不可約升列
　3.2　代數(shù)簇的母點
　3.3　代數(shù)簇的不可約分解
　3.4　代數(shù)簇的維數(shù)
第四章　幾何定理機器證明
　4.1　幾何問題的代數(shù)化
　4.2　機器證明的吳文俊原理
　4.3　初等幾何定理的機器證明
　4.4　自動推理的代數(shù)化
　4.5　有限幾何定理的機器證明
第五章　吳肖元法應用舉例
　5.1　楊振寧----柏克斯特方程求解
　5.2　線性控制系統(tǒng)的極點配置
　5.3　一類發(fā)展方程的行波解
　5.4　三次微分系統(tǒng)極限環(huán)研究
　5.5　平面星體運動的中心構(gòu)型
附錄一　MAPLE環(huán)境下的WSOLVE
附錄二　定理5.1.5的證明
參考文獻