不等式自动发现与判定程序agl2010的若干新改进

• 作者: 刘保乾
• 来源期刊: 汕头大学学报（自然科学版）
• 学科: 数学
• 关键词: 不等式自动发现 agl2010程序 三角形不等式 多项式不等式
• 年，卷（期）: 2014,（1）
• 页码范围: 33-41
• 页数: 9页
• 分类号: O122.3
• 字数: 3827字
• 语种: 中文

摘要

通过引入全局变量,使不等式自动发现过程中数据表达式的构造简洁而方便;通过角代换,解决了锐角三角形不等式的验证问题;通过正数域等价集,解决了实变元不等式的验证问题;给出了等腰三角形时取等号不等式的构造方法;实现了已知不等式隔离式的自动发现.

作者信息

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