《數(shù)學(xué)機(jī)械化叢書》前言
序言

**章 數(shù)學(xué)機(jī)械化平臺MMP簡介
§1．1 MMP簡介
§1．2 MMP的安裝與啟動
§1．3 數(shù)與多項(xiàng)式運(yùn)算
§1．4 用MMP求解代數(shù)與微分方程
§1．5 用MMP自動證明與發(fā)現(xiàn)定理

第二章 MMP的基本數(shù)據(jù)類型與運(yùn)算
§2．1 數(shù)據(jù)類型
§2．2 數(shù)的運(yùn)算
§2．3 變量和賦值語句
§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 基本語句
§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 初等幾何定理自動發(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 微分方程的形式冪級數(shù)解
§7．4 微分方程的行波解

第八章 代數(shù)方程組的實(shí)數(shù)解與不等式機(jī)器證明
§8．1 代數(shù)方程的實(shí)根隔離
§8．2 代數(shù)系統(tǒng)全局優(yōu)化的吳有限核定理
§8．3 方程實(shí)根個數(shù)的判定
§8．4 優(yōu)化問題的數(shù)值計(jì)算與**搜索方法

參考文獻(xiàn)

附錄 幾何命題的描述
A．1 幾何命題的謂詞形式
A．2 幾何命題的構(gòu)造形式
A．3 幾何命題的自然語言形式

索引