非綫性代數方程組與定理機器證明 在線電子書 圖書標籤: 符號計算 數學 計算機代數 復雜 ff
發表於2024-12-27
非綫性代數方程組與定理機器證明 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
《非綫性代數方程組與定理機器證明》是“非綫性科學叢書”中的一種,介紹參係數非綫性代數方程組的構造性理論和求解算法。全書計分六章,即:導論,消去法基礎。三角型方程組,一般多項式方程組,機器證明的例證法,多項式方程的判彆係統。其中有不少內容是作者的研究成果,尤其是5次以上代數方程的判定問題,作者在書中完全解決瞭這一幾個世紀以來懸而未決的經典問題。《非綫性代數方程組與定理機器證明》可供理工科大學教師、高年級學生、研究生、博士後閱讀,也可供自然科學和工程技術領域中的研究人員參考。
評分
評分
評分
評分
非綫性代數方程組與定理機器證明 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024