磨光集及其应用

• 作者: 刘保乾
• 来源期刊: 汕头大学学报（自然科学版）
• 学科: 数学
• 关键词: 磨光集 Bottema软件 agl2012程序 不等式自动发现
• 年，卷（期）: 2015,（2）
• 所属期刊栏目: 特约稿件
• 页码范围: 44-55
• 页数: 12页
• 分类号: O122.3
• 字数: 8621字
• 语种: 中文

摘要

提出了磨光集的概念,并详述了计算磨光集的算法和程序;讨论了磨光集在发现不等式、三角形不等式分拆证明及在量级研究中的应用;给出了关于R,r和s的三角形不等式的试探性分拆程序.

作者信息

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