非綫性代數方程組與定理機器證明 pdf epub mobi txt 電子書 下載 2024
☆☆☆☆☆
簡體網頁||
繁體網頁
楊路
上海科技教育齣版社
1996-09
203
14.00元
精裝
非綫性科學叢書
9787542813794
圖書標籤:
符號計算
數學
計算機代數
復雜
ff
喜歡 非綫性代數方程組與定理機器證明 的讀者還喜歡
下載链接在页面底部
點擊這裡下載
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!
发表于2024-11-23
非綫性代數方程組與定理機器證明 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024
非綫性代數方程組與定理機器證明 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024
非綫性代數方程組與定理機器證明 pdf epub mobi txt 電子書 下載 2024
圖書描述
《非綫性代數方程組與定理機器證明》是“非綫性科學叢書”中的一種,介紹參係數非綫性代數方程組的構造性理論和求解算法。全書計分六章,即:導論,消去法基礎。三角型方程組,一般多項式方程組,機器證明的例證法,多項式方程的判彆係統。其中有不少內容是作者的研究成果,尤其是5次以上代數方程的判定問題,作者在書中完全解決瞭這一幾個世紀以來懸而未決的經典問題。《非綫性代數方程組與定理機器證明》可供理工科大學教師、高年級學生、研究生、博士後閱讀,也可供自然科學和工程技術領域中的研究人員參考。
非綫性代數方程組與定理機器證明 下載 mobi epub pdf txt 電子書
著者簡介
圖書目錄
目錄
非綫性科學叢書齣版說明
前 言
第1章 導論
1代數方程
2結構與計算
3計算機與數學
4定理機器證明
5非綫性代數方程組
6計算機代數
第2章 消去法基礎
7除法與整相關性
8除法的顯式錶示
9輾轉相除法
10結式消去法
11聯閤消去法
12結式的某些性質
13用低階行列式錶示的結式
14方程組與消去法
第3章 三角型方程組
15一個例子
16互素性
17整相關性
18整相關性定理的證明
19相關性
20應用相關性判準的幾個實例
21相對單純分解
22相對分解算法
23相對單純分解的一個實例
24非退化條件
25解的結構
第4章 一般多項式方程組
26一個例子
27基本概念
28迪剋遜導齣方程組
29一般情形的迪剋遜結式
30顯式解
31聚篩法
32聚篩法一例:WRSOLVE
33麥考萊商
34麥考萊商的例
35矩陣廣義特徵值方法
36伯恩斯坦定理
37多元結式的一些性質
第5章 機器證明的例證法
38概述
39起點
40推廣
41幾何命題的代數化
42構造性幾何命題
43實例的選取和檢驗
44例子
45通用程序的運行實例
第6章 多項式方程的判彆係統
46多項式的重根
47實根個數的經典判定法
48多項式的判彆矩陣
49兩個判彆矩陣的關係
50判彆矩陣與斯圖姆組的關係
51參係數多項式實根個數的顯式判定
52例子
53六次多項式根的分類
54穩定多項式
附錄A 用MAPLE實現的WR程序
附錄B 用MAPLE實現的GPS程序
附錄C 用MAPLE實現的WRSOLVE程序
索引
科學傢中外譯名對照錶
參考文獻
· · · · · · (
收起)
非綫性代數方程組與定理機器證明 pdf epub mobi txt 電子書 下載
用戶評價
評分
☆☆☆☆☆
評分
☆☆☆☆☆
評分
☆☆☆☆☆
評分
☆☆☆☆☆
評分
☆☆☆☆☆
讀後感
評分
☆☆☆☆☆
評分
☆☆☆☆☆
評分
☆☆☆☆☆
評分
☆☆☆☆☆
評分
☆☆☆☆☆
類似圖書 點擊查看全場最低價
非綫性代數方程組與定理機器證明 pdf epub mobi txt 電子書 下載 2024