| 首页 | 帮助 | 高级搜索 | 订单查询 | 留言 | 购物车 |
  |
|
| | 图书音像 | CCTV-7《农广天地》光碟 | 下载中心 | 专题搜索 | 帮助中心┊会员中心 |
| 首页 -> 图书音像 -> 科学技术 -> 科学普及读物 -> |
|
| 首页 | 帮助 | 高级搜索 | 订单查询 | 留言 | 购物车 |
|
|
| | 图书音像 | CCTV-7《农广天地》光碟 | 下载中心 | 专题搜索 | 帮助中心┊会员中心 |
| 首页 -> 图书音像 -> 科学技术 -> 科学普及读物 -> |
|
[数码照片·略有模糊]  
|  详情
| |||||||||||||||
|
小分类导航
|
介绍 " 本书主要介绍作者及其合作者近十年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法．全书共分7章，分别介绍和论述多项式的伪除与结式、相对单纯分解、多项式的实根、常系数半代数系统的实解隔离、参系数半代数系统的实解分类、不等式机器证明的降维算法与BOTTEMA程序以及不等式的明证．除第1章及第3章、第7章的部分内容外，余皆作者及合作者的工作．附录介绍了子结式理论和柱形代数分解算法，还包括了对作者自编软件包BOTTEMA的使用说明。
本书可作为高等院校、科研机构数学或计算机科学方向研究生的教材，也可作为相关专业研究人员和工程技术人员的参考书。" |
