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

• 作者: 杨路 郁文生
• 来源期刊: 智能系统学报
• 学科: 工学
• 关键词: 基本不等式 机器证明 不等式证明软件BOTTEMA Tarski模型
• 年，卷（期）: 2011,（5）
• 页码范围: 377-390
• 分类号: TP181
• 字数: 12682字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-4785.2011.05.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郁文生	华东师范大学上海高可信计算重点实验室	10	48	4.0	6.0
2	杨路	华东师范大学上海高可信计算重点实验室	4	18	2.0	4.0