陈世平：逐次Taylor替换与一类幂指函数不等式的机器证明论文

本文主要研究内容

作者陈世平,陈果（2019）在《逐次Taylor替换与一类幂指函数不等式的机器证明》一文中研究指出：逐次Taylor替换是解决超越函数多项式不等式机器证明的有效工具,本文将其与人工证明结合并借助代数不等式证明软件BOTTEMA,对一类形如sin（x）/x>u（x）v（x）的幂指函数不等式实现了机器证明,机器证明得出的结论虽然是已知结果,但其方法本身对同类不等式具有示范性.

Abstract

zhu ci Taylorti huan shi jie jue chao yue han shu duo xiang shi bu deng shi ji qi zheng ming de you xiao gong ju ,ben wen jiang ji yu ren gong zheng ming jie ge bing jie zhu dai shu bu deng shi zheng ming ruan jian BOTTEMA,dui yi lei xing ru sin（x）/x>u（x）v（x）de mi zhi han shu bu deng shi shi xian le ji qi zheng ming ,ji qi zheng ming de chu de jie lun sui ran shi yi zhi jie guo ,dan ji fang fa ben shen dui tong lei bu deng shi ju you shi fan xing .

论文参考文献

[1].Taylor展开式与三角函数不等式的自动证明[J]. 陈世平,刘忠. 系统科学与数学.2016(08)

[2].混合半相交体的不等式（英文）[J]. 张瑞. 应用数学与计算数学学报.2018(04)

[3].与F族相关的Fefferman-Stein不等式[J]. 胡云鹏,周疆. 云南大学学报(自然科学版).2019(02)

[4].高等数学不等式求解思路[J]. 常志远. 课程教育研究.2019(20)

[5].对偶混合体积循环不等式的加强[J]. 杨林,罗淼,王贺军. 数学的实践与认识.2018(10)

[6].一个不等式猜想的证明及推广[J]. 黄辉. 大学数学.2018(03)

[7].一个无理不等式猜想的推广及其证明[J]. 甘义宁. 数学通报.2014(03)

[8].Carulan不等式的加强[J]. 安振平. 数学通报.2008(05)

[9].一个不等式的推广[J]. 朱浓. 数学教学.2008(12)

[10].两个不等式的统一推广与应用[J]. 谭志中. 数学通报.2008(06)

论文详细介绍

论文作者分别是来自汕头大学学报(自然科学版)的陈世平,陈果，发表于刊物汕头大学学报(自然科学版)2019年04期论文，是一篇关于超越函数多项式论文,幂指函数不等式论文,机器证明论文,逐次替换论文,汕头大学学报(自然科学版)2019年04期论文的文章。本文可供学术参考使用，各位学者可以免费参考阅读下载，文章观点不代表本站观点，资料来自汕头大学学报(自然科学版)2019年04期论文网站，若本站收录的文献无意侵犯了您的著作版权，请联系我们删除。

本文来源: https://www.lw00.cn/article/3b428ff1582db098a9fd904a.html