期刊文章详细信息
三角函数不等式的自动证明
Automated proving of trigonometric inequalities
文献类型：期刊文章
机构地区：[1]中国民航飞行学院德阳校区 [2]四川省商贸学校,德阳618000
年 份：2013
卷 号：50
期 号：3
起止页码：537-540
语 种：中文
收录情况：BDHX、BDHX2011、BIOSISPREVIEWS、CAS、CSCD、CSCD2013_2014、JST、MR、RCCSE、ZGKJHX、ZMATH、ZR、核心刊
摘 要：本文以三角函数不等式为研究对象来探讨超越不等式的机器证明问题,运用变量替换和函数的Taylor展开式将目标不等式代数化,然后借助BOTTEMA中强有力的代数不等式证明工具完成最后的证明.编制程序实现了上述算法,实验结果表明算法对常见的三角函数不等式十分有效,并且算法是"可读"的.
关 键 词：超越不等式 三角函数不等式 自动证明 BOTTEMA 可读证明
分 类 号：TP3[计算机类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
