期刊文章详细信息
三角函数多项式不等式的自动证明
Automated Proving of Trigonometric Function Polynomial Inequalities
文献类型：期刊文章
机构地区：[1]中国民航飞行学院德阳校区 [2]四川省商贸学校,四川德阳618000 [3]乐山职业技术学院,四川乐山614000
年 份：2015
卷 号：30
期 号：3
起止页码：43-55
语 种：中文
收录情况：普通刊
摘 要：本文讨论了三角函数多项式特别是正切函数多项式的性质,并在此基础上实现了一个三角函数多项式不等式自动证明的完备算法.算法运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,再借助代数不等式证明工具(如Bottema)完成最后的工作.实验结果表明算法对常见的三角函数多项式不等式十分高效,同时证明过程是"可读"的.
关 键 词：三角函数多项式 三角函数多项式不等式 自动证明 Taylor展开式 终止性
分 类 号：TP181]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
