大庆师范学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

方程求解与机器证明:基于MMP的问题求解/高小山[等]著

出版发行项:

北京:科学出版社,2006

ISBN及定价:

7-03-017862-9 精装/CNY55.00

载体形态项:

12,279页;25cm

其它题名:

基于MMP的问题求解

丛编项:

数学机械化丛书;7

个人责任者:

裘宗燕 著

个人责任者:

高小山 著

个人责任者:

王定康 著

学科主题:

方程解

中图法分类号:

O122.2

提要文摘附注:

本书介绍了数学机械化软件平台MMP的基本功能与使用方法，通过MM平等运行实例介绍了数学机械化的基本理论与最新进展。

豆瓣简介：