图书介绍
方程求解与机器证明 基于MMP的问题求解PDF|Epub|txt|kindle电子书版本下载
- 高小山（等）著 著
- 出版社： 北京：科学出版社
- ISBN：7030178629
- 出版时间：2006
- 标注页数：279页
- 文件大小：11MB
- 文件页数：296页
- 主题词：方程解
PDF下载
下载说明
方程求解与机器证明 基于MMP的问题求解PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 数学机械化平台MMP简介1
§1.1 MMP简介1
§1.2 MMP的安装与启动3
§1.3 数与多项式运算6
§1.4 用MMP求解代数与微分方程9
§1.5 用MMP自动证明与发现定理15
第二章 MMP的基本数据类型与运算19
§2.1 数据类型19
§2.2 数的运算21
§2.3 变量和赋值语句29
§2.4 表达式31
§2.5 多项式和分式34
§2.6 链表的运算43
§2.7 矩阵与线性方程组求解47
§2.8 op与subs函数59
第三章 MMP的编程环境61
§3.1 介绍61
§3.2 基本语句62
§3.3 表68
§3.4 自定义函数69
§3.5 MMP编程实例71
第四章 吴特征列方法79
§4.1 多项式与升列79
§4.2 整序原理83
§4.3 代数情形的零点分解算法87
§4.4 微分情形的零点分解算法102
§4.5 拟代数簇的投影运算108
第五章 几何定理机器证明与发现115
§5.1 几何命题的输入与转换115
§5.2 初等几何定理机器证明123
§5.3 初等几何定理自动发现129
§5.4 微分几何定理机器证明与发现134
第六章 代数方程求解143
§6.1 多项式方程求解的吴消元法143
§6.2 预解式及其应用148
§6.3 含参数方程组的求解152
§6.4 多项式方程的数值解160
§6.5 代数方程求解的应用168
第七章 代数微分方程求解196
§7.1 代数微分方程求解的吴消元法196
§7.2 常微分方程的初等函数解207
§7.3 微分方程的形式幂级数解215
§7.4 微分方程的行波解219
第八章 代数方程组的实数解与不等式机器证明225
§8.1 代数方程的实根隔离225
§8.2 代数系统全局优化的吴有限核定理231
§8.3 方程实根个数的判定237
§8.4 优化问题的数值计算与随机搜索方法240
参考文献254
附录 几何命题的描述259
A.1 几何命题的谓词形式259
A.2 几何命题的构造形式264
A.3 几何命题的自然语言形式271
索引275