三角形不等式判定程序agl2009的改进及应用

• 作者: 刘保乾
• 来源期刊: 佛山科学技术学院学报（自然科学版）
• 学科: 数学
• 关键词: 三角形几何不等式 agl2009程序 机器证明 猜想
• 年，卷（期）: 2011,（1）
• 所属期刊栏目: 数理科学
• 页码范围: 24-32
• 分类号: O122.3
• 字数: 7394字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0171.2011.01.006

摘要

从8个方面对三角形不等式判定程序agl2009进行了改进和补充,使改进后的程序能够处理更多类型的不等式;针对传统不等式证明器只对给定不等式判定的不足,给出了批量发现非平凡不等式的应用实例;提出了若干形式新颖的不等式猜想.

作者信息

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