三角函数多项式不等式的自动证明

• 作者: 刘忠 陈世平
• 来源期刊: 汕头大学学报（自然科学版）
• 学科: 工学
• 关键词: 三角函数多项式 三角函数多项式不等式 自动证明 Taylor展开式 终止性
• 年，卷（期）: 2015,（3）
• 页码范围: 43-55
• 页数: 13页
• 分类号: TP181
• 字数: 12845字
• 语种: 中文

摘要

本文讨论了三角函数多项式特别是正切函数多项式的性质,并在此基础上实现了一个三角函数多项式不等式自动证明的完备算法.算法运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,再借助代数不等式证明工具(如Bottema)完成最后的工作.实验结果表明算法对常见的三角函数多项式不等式十分高效,同时证明过程是“可读”的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘忠		9	28	4.0	4.0
2	陈世平		1	4	1.0	1.0