摘要
提出了自动发现不等式的思路、算法并编写了应用程序agl2010;通过大量的实例演示了agl2010程序丰富的指令集及使用方法,指出agl2010程序不仅可以自动发现不等式,而且还可以完成指定的任务;提出了不等式磨光器的概念,并设计了若干实用的磨光器,从而为自动加强不等式提供了一个有用的途径.
An algorithm is proposed to find inequality automatically. Application programs were written with agl 2010. Examples are shown for the instruction set of agl 2010 and its usage. Agl 2010 not only can be used to find inequality automatically,but also can be used to finish given tasks. The concept of inequality smoother is proposed and designed.
出处
《汕头大学学报（自然科学版）》
2011年第2期3-11,共9页
Journal of Shantou University：Natural Science Edition
