大庆师范学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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

出版发行项:

北京:科学出版社,2008

ISBN及定价:

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

载体形态项:

10,226页;25cm

丛编项:

数学机械化丛书;11

个人责任者:

杨路 著

个人责任者:

夏壁灿 著

学科主题:

不等式-机器证明

中图法分类号:

O178-39

一般附注:

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

提要文摘附注:

本书分别介绍和论述多项式的伪除与结式、相对单纯分解、多项式的实根、常系数半代数系统的实解隔离、参系数半代数系统的实解分类等内容。

豆瓣简介：