包邮数学·统计学系列不等式的分拆降维降幂方法与可读证明

作者：陈胜利

出版社：哈尔滨工业大学出版社出版时间：2020-10-21

开本： 16开 页数： 450

本类榜单：自然科学销量榜

中图价:¥56.2(7.2折) 定价 ~~¥78.0~~ 登录后可看到会员价

暂时缺货收藏

开年大促， 全场包邮

?新疆、西藏除外

本类五星书更多>

>
宇宙、量子和人类心灵

宇宙、量子和人类心灵

¥32.9¥58
>
气候文明史

气候文明史

¥41.7¥69
>
南极100天

南极100天

¥6.8¥13.5
>
考研数学专题练1200题

考研数学专题练1200题

¥27.5¥78
>
希格斯:“上帝粒子”的发明与发现

希格斯:“上帝粒子”的发明与发现

¥22.6¥48
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁

神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁

¥93.6¥120
>
声音简史

声音简史

¥29.1¥52

商品详情
商品评论(0条)

中图价:¥56.2 暂时缺货

版权信息
内容简介
目录

数学·统计学系列不等式的分拆降维降幂方法与可读证明版权信息

ISBN：9787560389646
条形码：9787560389646 ; 978-7-5603-8964-6
装帧：一般胶版纸
册数：暂无
重量：暂无
所属分类：
自然科学
>
数学

数学·统计学系列不等式的分拆降维降幂方法与可读证明内容简介

本书系统总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件( schur01)实现. schur1是基于作者提出的“分拆一降维一降幂—综合”等算法原理而开发的具有自动发现功能的新颖的不等式证明软件,适用于一般代数式乃至任意维数、任意次数的多项式的半正定判定及很优化问题schur01对于对称式尤为高效,并且从整体上是可读的把本书与 schur0结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解

数学·统计学系列不等式的分拆降维降幂方法与可读证明目录

第1章预备知识 1.1 型与多项式 1.2 对称多项式及其表示 1.3 半正定多项式与希尔伯特第十七问题 1.4 基本不等式序列与判别式序列 1.5 分组差分代换与整体差分代换 1.6 多项式半正定判定定理第2章 Schur分拆 2.1 三元Schur分拆 2.1.1 Schur型不等式与Schur分拆 2.1.2 三元3，4次对称型的非负分拆 2.1.3 二元5次对称型的非负分拆 2.1.4 三元6次对称型的非负分拆 2.1.5 三元7次对称型的非负分拆 2.2 四元Schur分拆 2.2.1 四元对称型的Schur型分拆基 2.2.2 四元4次半次定对称型的结构 2.2.3 四元4次半止定对称型的非负分拆 2.2.4 半正定四元含参对称型第3章轮换对称 3.1 实轮换对称型 3.2 三元轮换对称型 3.2.1 三元轮换对称型的Schur型基 3.2.2 三元轮换对称型半正定性的判定 3.2.3 应用举例第4章降幂分拆 4.1 二元对称型的降幂分拆 4.1.1 二元对称型的Ue代换 4.1.2 逐次对称化分拆 4.1.3 应用举例 4.2 三元对称型的降幂分拆 4.2.1 三元基本小等式的等价形式 4.2.2 三元对称型的Ue代换 4.2.3 三元Ue代换平凡的对称型 4.2.4 三元及三元多项式半止定的判定程序 4.2.5 应用举例 4.3 一般多项式半正定性的判定第5章降维分拆 5.1 对称核与对称生成 5.1.1 对称核原理 5.1.2 Newton公式的推广 5.1.3 对称核与对称牛成的求法 5.1.4 几类不等式成立的充要条件 5.1.5 应用举例 5.2 半正定对称多项式的非平凡生成第6章 Schur空间 6.1 实向量空间的闭凸锥 6.2 Schur子空间 6.3 Schur型基的构造与应用 6.3.1 实向量空问Schur(n＞m，m=3，4，…，8)的Schur型基 6.3.2 n元3，4次半正定对称型的结构 6.3.3 n元Schur型基的一般构造 6.3.4 n元m次对称多项式的Schur分拆与判定第7章综合应用 7.1 根式不等式 7.2 函数优化及参数取值 7.3 条件不等式 7.3.1 降幂代换的应用 7.3.2 基本不等式的应用 7.3.3 齐次化代换的应用 7.4 二角形中不等式 7.5 降维定理的应用 7.6 分组(整体)差分方法的应用 7.7 综合程序xrprove与kxrmn 第8章常用指令 8.1 预备知识 8.2 Schur分拆 8.3 轮换对称 8.4 降幂分拆 8.5 降维分拆 8.6 Schur空间 8.7 综合应用 8.7.1 根式不等式 8.7.2 函数优化及参数取值 8.7.3 条件不等式 8.7.4 三角形中不等式 8.7.5 降维定理的应用 8.7.6 分组(整体)差分方法的应用 8.7.7 综合科序Xrprovc与kxrmn 第9章公开问题 9.1 有理对称式 9.2 轮换对称式 9.3 无理对称式 9.4 条件不等式 9.5 三角不等式 9.6 幂和不等式参考文献编辑手记

展开全部

商品评论(0条)

写书评赚书币

暂无评论……

书友推荐