中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

不等式机器证明与自动发现/杨路, 夏壁灿著

出版发行项:

北京:科学出版社,2008

ISBN及定价:

978-7-03-020721-0 精装/CNY45.00

载体形态项:

x, 226页:图;25cm

丛编项:

数学机械化丛书;11

个人责任者:

杨路 著

个人责任者:

夏壁灿 著

学科主题:

不等式-机器证明

中图法分类号:

O178

一般附注:

中国科学院科学出版基金资助出版

书目附注:

有书目 (第176-185页) 和索引

提要文摘附注:

本书共分七章，分别介绍和论述了多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参系数半代数系统的实解分类；不等式机器证明的降维算法和不等式的明证。附录介绍了子结式理论和柱形代数分解算法，还包括了对作者自编软件包BOTTEMA的使用说明。

豆瓣简介：