讨论了用不等式自动发现与判定程序agl2010发现n元不等式的方法和技巧;总结出发现”元不等式的“推广三步骤”方法,并对3元不等式的n元推广实现了自动发现;提出了智能模拟的概念,指出它是机器证明的任务之一;给出了若干n元不等式发现新结果.%The method and skill of discovering n-variable inequalities with automated inequality discovering and decision program agl2010 is discussed. The triple method for discovering n-variable inequality is summarized. The generalized automated discovering for enlarging inequality from 3-variable to n-variable is established, and then the conception of artificial intelligence which is one task of automated theorem proving is posed. Some new n-variable inequalities are gotten.
展开▼