带约束条件多项式的差分代换及其应用

• 作者: 刘保乾
• 来源期刊: 汕头大学学报（自然科学版）
• 学科: 数学
• 关键词: 差分代换 三角形几何不等式 agl算法 机器证明
• 年，卷（期）: 2010,（2）
• 页码范围: 1-10
• 分类号: O122.3
• 字数: 7262字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-4217.2010.02.001

摘要

对三角形几何不等式判定算法agl进行了改进和补充,并根据这种算法设计了agl程序的升级版agl2009,讨论了带约束条件差分代换在证明根式型不等式中的应用;给出了用agl程序发现的若干优美的三角形几何不等式.

作者信息

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