| 三角形不等式判定程序agl2009的改进及应用 |
| |
| 引用本文： | 刘保乾.三角形不等式判定程序agl2009的改进及应用[J].佛山科学技术学院学报(自然科学版),2011,29(1):24-32. |
| |
| 作者姓名： | 刘保乾 |
| |
| 作者单位： | 西藏自治区组织编制信息管理中心,西藏,拉萨,850000 |
| |
| 摘 要： | 从8个方面对三角形不等式判定程序agl2009进行了改进和补充,使改进后的程序能够处理更多类型的不等式;针对传统不等式证明器只对给定不等式判定的不足,给出了批量发现非平凡不等式的应用实例;提出了若干形式新颖的不等式猜想.
|
| 关 键 词： | 三角形几何不等式 agl2009程序 机器证明 猜想 |
The improvement and application of the program of agl2009 for triangle inquality |
| |
| LIU Bao-qian.The improvement and application of the program of agl2009 for triangle inquality[J].Journal of Foshan University(Natural Science Edition),2011,29(1):24-32. |
| |
| Authors: | LIU Bao-qian |
| |
| Institution: | LIU Bao-qian (Information and Management Centre,Tibet Organization Establishment,Lhasa 850000,China) |
| |
| Abstract: | It is proved that the improvement of agl2009 for the judgement of triagle inequality enables the program to deal with more types of inequality.Considering the defficiency of the traditional machine provement of the given inequality,we provide some application samples for the unusual inequality and introduce our assumptions on newly-found inequality. |
| |
| Keywords: | triangle geometry inequality program of agl2009 machine provement assumption |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
