书目信息 |
题名: |
不等式机器证明与自动发现
|
|
作者: | 杨路 , 夏壁灿 著 | |
分册: | ||
出版信息: | 北京 科学出版社 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] | 在馆 |