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

版次： 裝幀： 開本：

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