| 磨光集及其应用 |
| |
| 引用本文： | 刘保乾.磨光集及其应用[J].汕头大学学报(自然科学版),2015(2):44-55. |
| |
| 作者姓名： | 刘保乾 |
| |
| 作者单位： | 西藏自治区组织编制信息管理中心 |
| |
| 摘 要： | 提出了磨光集的概念,并详述了计算磨光集的算法和程序;讨论了磨光集在发现不等式、三角形不等式分拆证明及在量级研究中的应用;给出了关于R,r和s的三角形不等式的试探性分拆程序.
|
| 关 键 词： | 磨光集 Bottema软件 agl2012程序 不等式自动发现 |
Burnishing Set and Its Applications |
| |
| LIU Baoqian.Burnishing Set and Its Applications[J].Journal of Shantou University(Natural Science Edition),2015(2):44-55. |
| |
| Authors: | LIU Baoqian |
| |
| Institution: | LIU Baoqian;Information Management Center, Department of Organizational Information; |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
