10.3969/j.issn.1673-4785.2011.05.001
常用基本不等式的机器证明
不等式机器证明问题是智能系统领域的难点和热点问题.借助不等式证明软件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