機(jī)械化數(shù)學(xué)引論

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