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

定　價：￥10.00

作　者：	石赫著
出版社：	湖南教育出版社
叢編項：	現(xiàn)代數(shù)學(xué)書叢
標(biāo)　簽：	數(shù)學(xué)理論機器證明

ISBN：	9787535526052	出版時間：	1998-01-01	包裝：	平裝
開本：	19cm	頁數(shù)：	225頁	字?jǐn)?shù)：

內(nèi)容簡介

　　數(shù)學(xué)機械化研究的興趣，是當(dāng)代數(shù)學(xué)科學(xué)發(fā)展的趨勢。本書分五章系統(tǒng)地、深入淺出地介紹了吳文俊先生在機械化數(shù)學(xué)研究中的學(xué)術(shù)創(chuàng)造，包括代數(shù)方程組求解和數(shù)學(xué)定理機器證明的基本原理和方法。書中還介紹了若干實例，以加深對這些原理和方法的理解。本書以教材的形式編寫，可做為大學(xué)數(shù)學(xué)第高年級及研究生的教材，也是有關(guān)科學(xué)工作者較適宜的參考書。

作者簡介

暫缺《機械化數(shù)學(xué)引論》作者簡介

圖書目錄

引言　關(guān)于數(shù)學(xué)機械化
第一章　代數(shù)預(yù)備知識
　1.1　數(shù)域的概念
　1.2　多項式環(huán)
　1.3　比域和擴(kuò)域
　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　有限幾何定理的機器證明
第五章　吳肖元法應(yīng)用舉例
　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的證明
參考文獻(xiàn)