非線性代數方程組與定理機器證明

版次: 裝幀: 開本:


基本信息
作 者: 楊路,張景中,侯曉榮
出 版 社: 上海科技教育出版社
ISBN: 9787542813794
出版時間: 1996-10-01
版 次: 1
頁 數: 203
裝 幀: 平裝
開 本: 32開
所屬分類: 圖書>科學與自然>數學
內容簡介
《非線性代數方程組與定理機器證明》是“非線性科學叢書”中的一種,介紹參係數非線性代數方程組的構造性理論和求解算法。全書計分六章,即:導論,消去法基礎。三角型方程組,一般多項式方程組,機器證明的例證法,多項式方程的判別系統。其中有不少內容是作者的研究成果,尤其是5次以上代數方程的判定問題,作者在書中完全解決了這一幾個世紀以來懸而未決的經典問題。《非線性代數方程組與定理機器證明》可供理工科大學教師、高年級學生、研究生、博士後閱讀,也可供自然科學和工程技術領域中的研究人員參考。

相關詞條

熱門詞條

聯絡我們