不等式的自动发现原理及其实现  

Theory of Automatically Finding of Inequality and Its Applications

作　　者：刘保乾 

机构地区：[1]西藏自治区组织编制信息管理中心,西藏拉萨850000

出　　处：《汕头大学学报（自然科学版）》2011年第2期3-11,共9页Journal of Shantou University：Natural Science Edition

摘　　要：提出了自动发现不等式的思路、算法并编写了应用程序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.

关 键 词：不等式自动发现 半正定 差分代换 随机数验证程序 

分 类 号：O122.3[理学—数学]