三角函数多项式不等式的自动证明 |
| |
作者单位: | ;1.中国民航飞行学院德阳校区;2.四川省商贸学校;3.乐山职业技术学院 |
| |
摘 要: | 本文讨论了三角函数多项式特别是正切函数多项式的性质,并在此基础上实现了一个三角函数多项式不等式自动证明的完备算法.算法运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,再借助代数不等式证明工具(如Bottema)完成最后的工作.实验结果表明算法对常见的三角函数多项式不等式十分高效,同时证明过程是"可读"的.
|
关 键 词: | 三角函数多项式 三角函数多项式不等式 自动证明 Taylor展开式 终止性 |
Automated Proving of Trigonometric Function Polynomial Inequalities |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 万方数据 等数据库收录! |
|