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