10.3969/j.issn.1008-0171.2011.01.006
三角形不等式判定程序agl2009的改进及应用
从8个方面对三角形不等式判定程序agl2009进行了改进和补充,使改进后的程序能够处理更多类型的不等式;针对传统不等式证明器只对给定不等式判定的不足,给出了批量发现非平凡不等式的应用实例;提出了若干形式新颖的不等式猜想.
三角形几何不等式、agl2009程序、机器证明、猜想
29
O122.3(初等数学)
2011-05-20（万方平台首次上网日期，不代表论文的发表时间）
共9页
24-32
