论文摘要
讨论了形如f（x,trans1（x）,…,transn（x））>0的超越函数多项式不等式的自动证明问题,运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,然后借助代数不等式证明工具完成最后的工作.运用Maple实现了上述算法,算法对常见超越函数多项式不等式十分高效,并且可以输出"可读"的证明过程.
论文目录
文章来源
类型: 期刊论文
作者: 陈世平,刘忠
关键词: 超越函数多项式不等式,规范展开,替换,逐次替换
来源: 系统科学与数学 2019年05期
年度: 2019
分类: 基础科学
专业: 数学
单位: 四川省商贸学校中国民航飞行学院德阳校区,乐山职业技术学院
基金: 德阳市校(院,所)市科技合作计划资助课题
分类号: O178
页码: 804-822
总页数: 19
文件大小: 1039K
下载量: 30
相关论文文献
- [1].一道动点类竞赛不等式的加强与推广[J]. 数学通报 2019(12)
- [2].条件弱(下)鞅的一类极大值不等式[J]. 兰州理工大学学报 2020(01)
- [3].条件弱鞅的γ型概率不等式及强大数定律[J]. 四川师范大学学报(自然科学版) 2020(03)
- [4].哈代不等式的一个注记[J]. 大学数学 2020(01)
- [5].基于整体建构的数学综合题型解法探究——以高中数学“函数与不等式的综合题型”为例[J]. 科学咨询(教育科研) 2020(06)
- [6].自正则化鞅的Dzhaparidze-van Zanten型不等式[J]. 西北师范大学学报(自然科学版) 2020(04)
- [7].混合半相交体的不等式（英文）[J]. 应用数学与计算数学学报 2018(04)
- [8].与F族相关的Fefferman-Stein不等式[J]. 云南大学学报(自然科学版) 2019(02)
- [9].Finsler-Hadwiger型不等式推广的再研究[J]. 数学通报 2019(07)
- [10].数学中不等式的解法研究[J]. 现代经济信息 2017(21)
- [11].对偶混合体积循环不等式的加强[J]. 数学的实践与认识 2018(10)
- [12].一个不等式猜想的证明及推广[J]. 大学数学 2018(03)
- [13].一个无理不等式猜想的推广及其证明[J]. 数学通报 2014(03)
- [14].第七届全国不等式学术年会通知[J]. 数学通报 2014(12)
- [15].一个平凡不等式的加强[J]. 数学通报 2015(02)
- [16].一个优美的几何不等式[J]. 数学通报 2015(02)
- [17].关于两道猜想不等式的深入探究[J]. 数学通报 2016(05)
- [18].涉及三角形边长与半径不等式的简证及加强[J]. 数学通报 2018(01)
- [19].Finsler-Hadwiger型不等式的再加强[J]. 数学通报 2018(03)
- [20].Carulan不等式的加强[J]. 数学通报 2008(05)
- [21].两个不等式的统一推广与应用[J]. 数学通报 2008(06)
- [22].一个不等式的几种新证[J]. 数学通报 2008(12)
- [23].一个不等式的推广[J]. 数学通报 2008(11)
- [24].一个几何不等式的推广[J]. 数学通报 2008(12)
- [25].对一道不等式的推广及证明[J]. 数学通报 2009(01)
- [26].对一个半对称不等式的加强[J]. 数学通报 2009(01)
- [27].对一个不等式的探究[J]. 数学通报 2009(09)
- [28].高中课程标准下不等式性质教学内容安排的思考[J]. 数学通报 2009(12)
- [29].一个不等式的推广及其应用[J]. 数学通报 2010(12)
- [30].一些半对称不等式的统一简证[J]. 数学通报 2010(12)
标签：超越函数多项式不等式论文; 规范展开论文; 替换论文; 逐次替换论文;