逐次Taylor替换与一类幂指函数不等式的机器证明

• 作者: 陈世平 陈果
• 来源期刊: 汕头大学学报（自然科学版）
• 学科: 工学
• 关键词: 超越函数多项式 幂指函数不等式 机器证明 逐次Taylor替换
• 年，卷（期）: 2019,（4）
• 页码范围: 36-45
• 页数: 10页
• 分类号: O178|TP181
• 字数: 8842字
• 语种: 中文

摘要

逐次Taylor替换是解决超越函数多项式不等式机器证明的有效工具,本文将其与人工证明结合并借助代数不等式证明软件BOTTEMA,对一类形如sin(x)/x＞u(x)v(x))的幂指函数不等式实现了机器证明,机器证明得出的结论虽然是已知结果,但其方法本身对同类不等式具有示范性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈果	西南科技大学信息工程学院	6	19	3.0	4.0