大拱桥--暨南大学学生门户 » 图书馆 » 不等式及其他 » 不等式机器证明与自动发现
名称 不等式机器证明与自动发现
索引号 O178/20081
分类号 O178
O178(不等式及其他)
O17(数学分析)
O1(数学)
O(数理科学和化学)
作者 杨路、夏壁灿、
出版社 北京 : 科学出版社, 2008
ISBN 978-7-03-020721-0
页数 x, 226页 : 图 ; 25cm
价格 精装
标签 数学、计算机代数、不等式、已购买、有电子版、符号计算、自然科学、
简介
注解 中国科学院科学出版基金资助出版 有书目 (第176-185页) 和索引 本书共分七章，分别介绍和论述了多项式的伪除与结式Ь相对单纯分解Ь多项式的实根Ь常系数半代数系统的实解隔离Ь参系数半代数系统的实解分类Ь不等式机器证明的降维算法和不等式的明证。附录介绍了子结式理论和柱形代数分解算法，还包括了对作者自编软件包BOTTEMA的使用说明。
书籍简介

《不等式机器证明与自动发现》主要介绍作者及其合作者近十年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法，全书共分7章，分别介绍和论述多项式的伪除与结式、相对单纯分解、多项式的实根、常系数半代数系统的实解隔离、参系数半代数系统的实解分类、不等式机器证明的降维算法与BOTTEMA程序以及不等式的明证,除第1章及第3章、第7章的部分内容外，余皆作者及合作者的工作，附录介绍了子结式理论和柱形代数分解算法，还包括了对作者自编软件包B01TrEMA的使用说明。