书目信息 |
| 题名： |
不等式机器证明与自动发现
|
|
| 作者： | 杨路 ， 夏壁灿 著 | |
| 分册： | ||
| 出版信息： | 北京 科学出版社 2008.01 |
|
| 页数： | 10,226页 | |
| 开本： | 24cm | |
| 丛书名： | 数学机械化丛书 | |
| 单 册： | ||
| 中图分类： | O178-39 | |
| 科图分类： | ||
| 主题词： | 不等式--机器证明 | |
| 电子资源： | ||
| ISBN： | 978-7-03-020721-0 | |
| 000 | 00924oam2 2200253 450 | |
| 001 | 003751187 | |
| 010 | @a978-7-03-020721-0@b精装@dCNY45.00 | |
| 100 | @a20120301d2008 em y0chiy50 ea | |
| 101 | 0 | @achi |
| 102 | @aCN@b110000 | |
| 105 | @ay z 001yy | |
| 200 | 1 | @a不等式机器证明与自动发现@Abu deng shi ji qi zheng ming yu zi dong fa xian@f杨路，夏壁灿著 |
| 210 | @a北京@c科学出版社@d2008.01 | |
| 215 | @a10,226页@d24cm | |
| 225 | 2 | @a数学机械化丛书@v11 |
| 300 | @a中国科学院科学出版基金资助出版 | |
| 330 | @a本书主要介绍作者在不等式机器证明于自动发现方面的工作。分别介绍和论述多项式的伪除与结式、相对单纯分解、多项式的实根、常系数半代数系统的实解隔离、不等式机器证明的降维算法等内容。 | |
| 410 | 0 | @12001 @a数学机械化丛书 |
| 606 | 0 | @a不等式@x机器证明 |
| 690 | @aO178-39@v5 | |
| 701 | 0 | @a杨路@Ayang lu@f(1937~)@4著 |
| 701 | 0 | @a夏壁灿@Axia bi can@4著 |
| 801 | 0 | @aCN@c20121226 |
| 905 | @dO178-39@eY228@f2 | |
| 不等式机器证明与自动发现/杨路，夏壁灿著.-北京：科学出版社，2008.01 |
| 10,226页；24cm.-(数学机械化丛书；11) |
| 中国科学院科学出版基金资助出版 |
| ISBN 978-7-03-020721-0(精装)：CNY45.00 |
| 本书主要介绍作者在不等式机器证明于自动发现方面的工作。分别介绍和论述多项式的伪除与结式、相对单纯分解、多项式的实根、常系数半代数系统的实解隔离、不等式机器证明的降维算法等内容。 |
| ● |
| 相关链接 |
|
|
|
正题名：不等式机器证明与自动发现
索取号：O178-39/Y228
预约/预借
| 序号 | 登录号 | 条形码 | 馆藏地/架位号 | 状态 | 备注 |
| 1 | 1208866 | 212088667 | 自科库401/401自科库 45排7列1层/ [索取号:O178-39/Y228] | 在馆 | |
| 2 | 1208867 | 212088676 | 自科库401/401自科库 45排7列1层/ [索取号:O178-39/Y228] | 在馆 |