|
题名:
|
不等式机器证明与自动发现
/
杨路，夏壁灿著
,
|
|
ISBN:
|
978-7-03-020721-0
价格：
CNY45.00
|
|
语种:
|
chi
|
|
载体形态:
|
10,226页
25cm
|
|
出版发行:
|
出版地：
北京
出版社：
科学出版社
出版日期：
2008.01
|
|
内容提要:
|
本书分别介绍和论述多项式的伪除与结式、相对单纯分解、多项式的实根、常系数半代数系统的实解隔离、参系数半代数系统的实解分类等内容。
|
|
主题词:
|
不等式
机器证明
|
|
中图分类法:
|
O178-39
版次：
4
|
|
主要责任者:
|
杨路
著
|
|
主要责任者:
|
夏壁灿
著
|
|
附注:
|
中国科学院科学出版基金资助出版
|