三角形不等式判定程序agl2009的改进及应用

The improvement and application of the program of agl2009 for triangle inquality

从8个方面对三角形不等式判定程序agl2009进行了改进和补充,使改进后的程序能够处理更多类型的不等式;针对传统不等式证明器只对给定不等式判定的不足,给出了批量发现非平凡不等式的应用实例;提出了若干形式新颖的不等式猜想。

It is proved that the improvement of ag12009 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.