不等式自动发现和判定程序agl2010的若干改进及应用

Some Improvements and Applications of Automated Inequality Discovering & Decision Program agl2010

对不等式自动发现和判定程序agl2010进行了若干改进,扩充了程序功能,提高了运算效率;讨论了自动发现不等式过程中的若干技巧和策略;以实例的方式介绍了agl2010程序的应用.

Some improvements of automated inequality discovering and decision program agl2010 are carried out.From these,the functions of program are enlarged and the efficiencies of calculation are improved.And some skills and strategies in automated discovering inequality are also discussed in this paper.By virtue of some examples,the applications of program are introduced.