再谈不等式自动发现与判定程序agl2010的改进和应用

• 作者: 刘保乾
• 来源期刊: 汕头大学学报：自然科学版
• 学科: 数学
• 关键词: 不等式自动发现 agl算法 agl2010程序 机器证明
• 年，卷（期）: 2012,（1）
• 页码范围: 14-23
• 分类号: O122.3
• 字数: 6468字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-4217.2012.01.004

摘要

对不等式自动发现与判定程序agl2010的功能进行了若干改进．通过15个具体实例演示了程序的强大功能；利用agl算法得到了一类三角形几何不等式最佳系数的估算方法：结合Bottema软件的xprove命令，得到了一种带约束条件不等式自动发现的设计方案：通过建立数据限制函数，实现了一类变元取值范围受限制条件不等式的自动发现和自动加强．从而拓展了包括FanKy不等式在内的一大批不等式类型：最后提出2个有趣的不等式问题．

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘保乾		36	158	6.0	9.0