| 首页 | 帮助 | 高级搜索 | 订单查询 | 留言 | 购物车 |
  |
|
| | 日用消费品 | 图书音像 | CCTV-7《农广天地》光碟 | 食品店 | 下载中心 | 专题搜索 | 帮助中心┊会员中心 |
| |||
| 首页 -> 图书音像 -> 科学技术 -> 数理化科学理论 -> 数学科学理论 -> 方程求解与机器证明-基于MMP的问题求解 |
|
小分类导航
|
 联系客服邮购注意事项1.点击上面的[加入购物车]可见当天实际库存数，无货的请保存订单或在IE收藏当前页面，随时查看当天实际库存数，有货的您再付款； 2.邮寄方式和汇款帐号见下面的表格。 |
|
同类精品
|
全新检索 |
|||||||
|
同类畅销
同类评论最旺
|
相关商品 |
|
同类人气排行
|
|
介绍 " 本书首先在前三章介绍了数学机械化软件平台MMP的基本功能与使用方法，然后在后面的各章中通过MMP的运行实例介绍了数学机械化的基本理论与最新近展，特别是方程求解与机器证明方面的最新研究成果．第四章介绍了各项式方程系统，常微分方程系统，偏微分方程系统的吴特征列方法与投影定理．第五章介绍初等与微分几何中定理自动证明与自动发现的吴方法与若干最新进展．第六章介绍代数方程求解的吴特征列方法以及参数方程求解、预解式理论及其在机器人、曲面拼接、代数簇隐式化中的应用．第七章介绍微分方程求解的吴特征列方法以及微分方程初等函数解、行波解、幂级数解的求解方法．第八章介绍代数系统全局优化的吴有限核定理以及不等式的自动证明与发现．每章末尾还对本章的内容与MMP实现的方法所涉及的文献进行了介绍．
本书既可以作为：MMP的使用手册，又可作为科研人员、教师与研究生 了解数学机械化基本方法与最新成果的参考书．" |
