用不等式自动发现与判定程序agl2010研究涉及两个三角形的不等式

• 作者: 刘保乾
• 来源期刊: 佛山科学技术学院学报：自然科学版
• 学科: 数学
• 关键词: 不等式自动发现 agl2010程序 涉及两个三角形的不等式 机器证明
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 数理科学
• 页码范围: 11-17,21
• 页数: 8页
• 分类号: O122.3
• 字数: 6286字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0171.2012.02.003

摘要

讨论了用agl2010程序自动发现涉及两个三角形不等式的策略和方法;给出一个通用的不等式发现新模型,以这个模型为算法基础,得到了若干自动发现涉及两个三角形不等式模块;将待定系数法引入到涉及两个三角形不等式研究中,实现了一大类不等式,尤其是特殊取等号条件不等式的自动发现;最后提出2个待解决的问题。

作者信息

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