三角形不等式判定程序agl2009的改进及应用
刘保乾
西藏自治区组织编制信息管理中心,西藏,拉萨,850000
摘要：从8个方面对三角形不等式判定程序agl2009进行了改进和补充,使改进后的程序能够处理更多类型的不等式;针对传统不等式证明器只对给定不等式判定的不足,给出了批量发现非平凡不等式的应用实例;提出了若干形式新颖的不等式猜想.
关键词：三角形几何不等式agl2009程序机器证明猜想
分类号：O122.3(初等数学)
论文发表日期：2011-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：9( 24-32 )
英文信息