常用基本不等式的机器证明

摘要：

不等式机器证明问题是智能系统领域的难点和热点问题.借助不等式证明软件BOTTEMA,对若干常用的基本不等式成功地实现了机器证明,包括算术、几何与调和平均不等式、排序不等式、Chebyshev不等式、Bernoulli不等式、三角形不等式及Jensen不等式等.所论不等式含有的变元个数是一个不确定的变量,属于Tarski模型外的不等式类型.机器证明得出的结论有时可能是已知结果的推广,其方法本身对同类不等式有示范性,更多的例子表明了该算法和软件的有效性.

关键词：基本不等式、机器证明、不等式证明软件BOTTEMA、Tarski模型

所属期刊栏目：6

分类号：TP181(自动化基础理论)

资助基金：国家自然科学基金资助项目61070048,60874010;国家自然科学基金委员会创新研究群体科学基金资助项目61021004;国家"863"计划资助项目2011AA010101;国家"973"计划资助项目2011CB302802,2011 CB302400;上海市重点学科建设资助项目B412;上海市教育委员会科研创新资助项目11ZZ37

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

页数：共14页

页码：377-390