|
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]
|
在馆
|
|
