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

定　價(jià)：￥10.00

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

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

引言　關(guān)于數(shù)學(xué)機(jī)械化
第一章　代數(shù)預(yù)備知識(shí)
　1.1　數(shù)域的概念
　1.2　多項(xiàng)式環(huán)
　1.3　比域和擴(kuò)域
　1.4　多元多項(xiàng)式環(huán)
第二章　代數(shù)方程組求解
　2.1　多項(xiàng)式方程組的零點(diǎn)集
　2.2　余式公式
　2.3　多項(xiàng)式組的特征列
　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　自動(dòng)推理的代數(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)動(dòng)的中心構(gòu)型
附錄一　MAPLE環(huán)境下的WSOLVE
附錄二　定理5.1.5的證明
參考文獻(xiàn)