中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數學專題練1200題
-
>
希格斯:“上帝粒子”的發明與發現
-
>
神農架疊層石:10多億年前遠古海洋微生物建造的大堡礁
-
>
聲音簡史
方程求解與機器證明:基于MMP的問題求解 版權信息
- ISBN：9787030178626
- 條形碼：9787030178626 ; 978-7-03-017862-6
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
方程求解與機器證明:基于MMP的問題求解 本書特色
《數學機械化叢書 方程求解與機器證明：基于MMP的問題求解》主要包括兩部分內容：一是對MMP的基本功能的介紹，主要是前三章；二是通過MMP的實例介紹了數學機械化的基本理論與新進展，特別是方程求解與機器證明方面的結果。第四章介紹了多項式系統，常微分系統，偏微分系統的吳零點分解定理與投影定理。第五章介紹初等與微分幾何中定理自動證明與自動發現的吳方法。第六章介紹代數方程求解的吳消元法以及參數方程求解、預解式理論及其應用。第七章介紹微分方程求解的吳消元法以及微分方程初等函數解、冪級數解的求解方法。第八章介紹代數系統全局優化的吳有限核定理以及不等式的自動證明與發現。每章末尾還對本章的內容與MMP實現的方法所涉及的文獻進行了介紹。
方程求解與機器證明:基于MMP的問題求解 內容簡介
POD產品說明： 1. 本產品為按需印刷（POD）圖書，實行先付款，后印刷的流程。您在頁面購買且完成支付后，訂單轉交出版社。出版社根據您的訂單采用數字印刷的方式，單獨為您印制該圖書，屬于定制產品。 2. 按需印刷的圖書裝幀均為平裝書（含原為精裝的圖書）。由于印刷工藝、彩墨的批次不同，顏色會與老版本略有差異，但通常會比老版本的顏色更準確。原書內容含彩圖的，統一變成黑白圖，原書含光盤的，統一無法提供光盤。 3. 按需印刷的圖書制作成本高于傳統的單本成本，因此售價高于原書定價。 4. 按需印刷的圖書，出版社生產周期一般為15個工作日（特殊情況除外）。請您耐心等待。 5. 按需印刷的圖書，屬于定制產品，不可取消訂單，無質量問題不支持退貨。
方程求解與機器證明:基于MMP的問題求解 目錄
《數學機械化叢書》前言
序言
**章 數學機械化平臺MMP簡介
§1．1 MMP簡介
§1．2 MMP的安裝與啟動
§1．3 數與多項式運算
§1．4 用MMP求解代數與微分方程
§1．5 用MMP自動證明與發現定理
第二章 MMP的基本數據類型與運算
§2．1 數據類型
§2．2 數的運算
§2．3 變量和賦值語句
§2．4 表達式
§2．5 多項式和分式
§2．6 鏈表的運算
§2．7 矩陣與線性方程組求解
§2．8 op與subs函數
第三章 MMP的編程環境
§3．1 介紹
§3．2 基本語句
§3．3 表
§3．4 自定義函數
§3．5 MMP編程實例
第四章 吳特征列方法
§4．1 多項式與升列
§4．2 整序原理
§4．3 代數情形的零點分解算法
§4．4 微分情形的零點分解算法
§4．5 擬代數簇的投影運算
第五章 幾何定理機器證明與發現
§5．1 幾何命題的輸入與轉換
§5．2 初等幾何定理機器證明
§5．3 初等幾何定理自動發現
§5．4 微分幾何定理機器證明與發現
第六章 代數方程求解
§6．1 多項式方程求解的吳消元法
§6．2 預解式及其應用
§6．3 含參數方程組的求解
§6．4 多項式方程的數值解
§6．5 代數方程求解的應用
第七章 代數微分方程求解
§7．1 代數微分方程求解的吳消元法
§7．2 常微分方程的初等函數解
§7．3 微分方程的形式冪級數解
§7．4 微分方程的行波解
第八章 代數方程組的實數解與不等式機器證明
§8．1 代數方程的實根隔離
§8．2 代數系統全局優化的吳有限核定理
§8．3 方程實根個數的判定
§8．4 優化問題的數值計算與**搜索方法
參考文獻
附錄 幾何命題的描述
A．1 幾何命題的謂詞形式
A．2 幾何命題的構造形式
A．3 幾何命題的自然語言形式
索引
序言
**章 數學機械化平臺MMP簡介
§1．1 MMP簡介
§1．2 MMP的安裝與啟動
§1．3 數與多項式運算
§1．4 用MMP求解代數與微分方程
§1．5 用MMP自動證明與發現定理
第二章 MMP的基本數據類型與運算
§2．1 數據類型
§2．2 數的運算
§2．3 變量和賦值語句
§2．4 表達式
§2．5 多項式和分式
§2．6 鏈表的運算
§2．7 矩陣與線性方程組求解
§2．8 op與subs函數
第三章 MMP的編程環境
§3．1 介紹
§3．2 基本語句
§3．3 表
§3．4 自定義函數
§3．5 MMP編程實例
第四章 吳特征列方法
§4．1 多項式與升列
§4．2 整序原理
§4．3 代數情形的零點分解算法
§4．4 微分情形的零點分解算法
§4．5 擬代數簇的投影運算
第五章 幾何定理機器證明與發現
§5．1 幾何命題的輸入與轉換
§5．2 初等幾何定理機器證明
§5．3 初等幾何定理自動發現
§5．4 微分幾何定理機器證明與發現
第六章 代數方程求解
§6．1 多項式方程求解的吳消元法
§6．2 預解式及其應用
§6．3 含參數方程組的求解
§6．4 多項式方程的數值解
§6．5 代數方程求解的應用
第七章 代數微分方程求解
§7．1 代數微分方程求解的吳消元法
§7．2 常微分方程的初等函數解
§7．3 微分方程的形式冪級數解
§7．4 微分方程的行波解
第八章 代數方程組的實數解與不等式機器證明
§8．1 代數方程的實根隔離
§8．2 代數系統全局優化的吳有限核定理
§8．3 方程實根個數的判定
§8．4 優化問題的數值計算與**搜索方法
參考文獻
附錄 幾何命題的描述
A．1 幾何命題的謂詞形式
A．2 幾何命題的構造形式
A．3 幾何命題的自然語言形式
索引
展開全部
書友推薦
- >
經典常談
- >
伯納黛特,你要去哪(2021新版)
- >
史學評論
- >
我與地壇
- >
隨園食單
- >
煙與鏡
- >
詩經-先民的歌唱
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
本類暢銷
