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

摘要：

本文以三角函数不等式为研究对象来探讨超越不等式的机器证明问题,运用变量替换和函数的Taylor展开式将目标不等式代数化,然后借助BOTTEMA中强有力的代数不等式证明工具完成最后的证明.编制程序实现了上述算法,实验结果表明算法对常见的三角函数不等式十分有效,并且算法是“可读”的.

关键词：超越不等式、三角函数不等式、自动证明、BOTTEMA、可读证明

所属期刊栏目：50

分类号：TP3(计算技术、计算机技术)

在线出版日期：2013-07-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：537-540