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