掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數(shù)學(xué)專題練1200題
-
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)
-
>
神農(nóng)架疊層石:10多億年前遠(yuǎn)古海洋微生物建造的大堡礁
-
>
聲音簡(jiǎn)史
中圖價(jià):¥42.3
加入購(gòu)物車
方程求解與機(jī)器證明:基于MMP的問題求解 版權(quán)信息
- ISBN：9787030178626
- 條形碼：9787030178626 ; 978-7-03-017862-6
- 裝幀：一般膠版紙
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類：>>
方程求解與機(jī)器證明:基于MMP的問題求解 本書特色
《數(shù)學(xué)機(jī)械化叢書 方程求解與機(jī)器證明：基于MMP的問題求解》主要包括兩部分內(nèi)容：一是對(duì)MMP的基本功能的介紹，主要是前三章；二是通過(guò)MMP的實(shí)例介紹了數(shù)學(xué)機(jī)械化的基本理論與新進(jìn)展，特別是方程求解與機(jī)器證明方面的結(jié)果。第四章介紹了多項(xiàng)式系統(tǒng)，常微分系統(tǒng)，偏微分系統(tǒng)的吳零點(diǎn)分解定理與投影定理。第五章介紹初等與微分幾何中定理自動(dòng)證明與自動(dòng)發(fā)現(xiàn)的吳方法。第六章介紹代數(shù)方程求解的吳消元法以及參數(shù)方程求解、預(yù)解式理論及其應(yīng)用。第七章介紹微分方程求解的吳消元法以及微分方程初等函數(shù)解、冪級(jí)數(shù)解的求解方法。第八章介紹代數(shù)系統(tǒng)全局優(yōu)化的吳有限核定理以及不等式的自動(dòng)證明與發(fā)現(xiàn)。每章末尾還對(duì)本章的內(nèi)容與MMP實(shí)現(xiàn)的方法所涉及的文獻(xiàn)進(jìn)行了介紹。
方程求解與機(jī)器證明:基于MMP的問題求解 內(nèi)容簡(jiǎn)介
POD產(chǎn)品說(shuō)明： 1. 本產(chǎn)品為按需印刷（POD）圖書，實(shí)行先付款，后印刷的流程。您在頁(yè)面購(gòu)買且完成支付后，訂單轉(zhuǎn)交出版社。出版社根據(jù)您的訂單采用數(shù)字印刷的方式，單獨(dú)為您印制該圖書，屬于定制產(chǎn)品。 2. 按需印刷的圖書裝幀均為平裝書（含原為精裝的圖書）。由于印刷工藝、彩墨的批次不同，顏色會(huì)與老版本略有差異，但通常會(huì)比老版本的顏色更準(zhǔn)確。原書內(nèi)容含彩圖的，統(tǒng)一變成黑白圖，原書含光盤的，統(tǒng)一無(wú)法提供光盤。 3. 按需印刷的圖書制作成本高于傳統(tǒng)的單本成本，因此售價(jià)高于原書定價(jià)。 4. 按需印刷的圖書，出版社生產(chǎn)周期一般為15個(gè)工作日（特殊情況除外）。請(qǐng)您耐心等待。 5. 按需印刷的圖書，屬于定制產(chǎn)品，不可取消訂單，無(wú)質(zhì)量問題不支持退貨。
方程求解與機(jī)器證明:基于MMP的問題求解 目錄
《數(shù)學(xué)機(jī)械化叢書》前言
序言
**章 數(shù)學(xué)機(jī)械化平臺(tái)MMP簡(jiǎn)介
§1．1 MMP簡(jiǎn)介
§1．2 MMP的安裝與啟動(dòng)
§1．3 數(shù)與多項(xiàng)式運(yùn)算
§1．4 用MMP求解代數(shù)與微分方程
§1．5 用MMP自動(dòng)證明與發(fā)現(xiàn)定理
第二章 MMP的基本數(shù)據(jù)類型與運(yùn)算
§2．1 數(shù)據(jù)類型
§2．2 數(shù)的運(yùn)算
§2．3 變量和賦值語(yǔ)句
§2．4 表達(dá)式
§2．5 多項(xiàng)式和分式
§2．6 鏈表的運(yùn)算
§2．7 矩陣與線性方程組求解
§2．8 op與subs函數(shù)
第三章 MMP的編程環(huán)境
§3．1 介紹
§3．2 基本語(yǔ)句
§3．3 表
§3．4 自定義函數(shù)
§3．5 MMP編程實(shí)例
第四章 吳特征列方法
§4．1 多項(xiàng)式與升列
§4．2 整序原理
§4．3 代數(shù)情形的零點(diǎn)分解算法
§4．4 微分情形的零點(diǎn)分解算法
§4．5 擬代數(shù)簇的投影運(yùn)算
第五章 幾何定理機(jī)器證明與發(fā)現(xiàn)
§5．1 幾何命題的輸入與轉(zhuǎn)換
§5．2 初等幾何定理機(jī)器證明
§5．3 初等幾何定理自動(dòng)發(fā)現(xiàn)
§5．4 微分幾何定理機(jī)器證明與發(fā)現(xiàn)
第六章 代數(shù)方程求解
§6．1 多項(xiàng)式方程求解的吳消元法
§6．2 預(yù)解式及其應(yīng)用
§6．3 含參數(shù)方程組的求解
§6．4 多項(xiàng)式方程的數(shù)值解
§6．5 代數(shù)方程求解的應(yīng)用
第七章 代數(shù)微分方程求解
§7．1 代數(shù)微分方程求解的吳消元法
§7．2 常微分方程的初等函數(shù)解
§7．3 微分方程的形式冪級(jí)數(shù)解
§7．4 微分方程的行波解
第八章 代數(shù)方程組的實(shí)數(shù)解與不等式機(jī)器證明
§8．1 代數(shù)方程的實(shí)根隔離
§8．2 代數(shù)系統(tǒng)全局優(yōu)化的吳有限核定理
§8．3 方程實(shí)根個(gè)數(shù)的判定
§8．4 優(yōu)化問題的數(shù)值計(jì)算與**搜索方法
參考文獻(xiàn)
附錄 幾何命題的描述
A．1 幾何命題的謂詞形式
A．2 幾何命題的構(gòu)造形式
A．3 幾何命題的自然語(yǔ)言形式
索引
序言
**章 數(shù)學(xué)機(jī)械化平臺(tái)MMP簡(jiǎn)介
§1．1 MMP簡(jiǎn)介
§1．2 MMP的安裝與啟動(dòng)
§1．3 數(shù)與多項(xiàng)式運(yùn)算
§1．4 用MMP求解代數(shù)與微分方程
§1．5 用MMP自動(dòng)證明與發(fā)現(xiàn)定理
第二章 MMP的基本數(shù)據(jù)類型與運(yùn)算
§2．1 數(shù)據(jù)類型
§2．2 數(shù)的運(yùn)算
§2．3 變量和賦值語(yǔ)句
§2．4 表達(dá)式
§2．5 多項(xiàng)式和分式
§2．6 鏈表的運(yùn)算
§2．7 矩陣與線性方程組求解
§2．8 op與subs函數(shù)
第三章 MMP的編程環(huán)境
§3．1 介紹
§3．2 基本語(yǔ)句
§3．3 表
§3．4 自定義函數(shù)
§3．5 MMP編程實(shí)例
第四章 吳特征列方法
§4．1 多項(xiàng)式與升列
§4．2 整序原理
§4．3 代數(shù)情形的零點(diǎn)分解算法
§4．4 微分情形的零點(diǎn)分解算法
§4．5 擬代數(shù)簇的投影運(yùn)算
第五章 幾何定理機(jī)器證明與發(fā)現(xiàn)
§5．1 幾何命題的輸入與轉(zhuǎn)換
§5．2 初等幾何定理機(jī)器證明
§5．3 初等幾何定理自動(dòng)發(fā)現(xiàn)
§5．4 微分幾何定理機(jī)器證明與發(fā)現(xiàn)
第六章 代數(shù)方程求解
§6．1 多項(xiàng)式方程求解的吳消元法
§6．2 預(yù)解式及其應(yīng)用
§6．3 含參數(shù)方程組的求解
§6．4 多項(xiàng)式方程的數(shù)值解
§6．5 代數(shù)方程求解的應(yīng)用
第七章 代數(shù)微分方程求解
§7．1 代數(shù)微分方程求解的吳消元法
§7．2 常微分方程的初等函數(shù)解
§7．3 微分方程的形式冪級(jí)數(shù)解
§7．4 微分方程的行波解
第八章 代數(shù)方程組的實(shí)數(shù)解與不等式機(jī)器證明
§8．1 代數(shù)方程的實(shí)根隔離
§8．2 代數(shù)系統(tǒng)全局優(yōu)化的吳有限核定理
§8．3 方程實(shí)根個(gè)數(shù)的判定
§8．4 優(yōu)化問題的數(shù)值計(jì)算與**搜索方法
參考文獻(xiàn)
附錄 幾何命題的描述
A．1 幾何命題的謂詞形式
A．2 幾何命題的構(gòu)造形式
A．3 幾何命題的自然語(yǔ)言形式
索引
展開全部
書友推薦
- >
我從未如此眷戀人間
- >
【精裝繪本】畫給孩子的中國(guó)神話
- >
月亮與六便士
- >
經(jīng)典常談
- >
山海經(jīng)
- >
月亮虎
- >
龍榆生：詞曲概論/大家小書
- >
羅曼·羅蘭讀書隨筆-精裝
本類暢銷
