MARC状态：审校 文献类型：中文图书 浏览次数：38
- 题名/责任者:
- 不等式机器证明与自动发现/杨路, 夏壁灿著
- 出版发行项:
- 北京:科学出版社,2008
- ISBN及定价:
- 978-7-03-020721-0 精装/CNY45.00
- 载体形态项:
- x, 226页:图;25cm
- 丛编项:
- 数学机械化丛书;11
- 个人责任者:
- 杨路 著
- 个人责任者:
- 夏壁灿 著
- 学科主题:
- 不等式-机器证明
- 中图法分类号:
- O178
- 出版发行附注:
- 中国科学院科学出版基金资助出版
- 书目附注:
- 有书目 (第176-185页) 和索引
- 提要文摘附注:
- 本书共分七章，分别介绍和论述了多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参系数半代数系统的实解分类；不等式机器证明的降维算法和不等式的明证。附录介绍了子结式理论和柱形代数分解算法，还包括了对作者自编软件包BOTTEMA的使用说明。
全部MARC细节信息>>