用不等式自动发现与判定程序agl2010研究涉及两个三角形的不等式

The automatic detection and judgment of two triangle inequalities related to program agl2010 through inequality

讨论了用agl2010程序自动发现涉及两个三角形不等式的策略和方法;给出一个通用的不等式发现新模型,以这个模型为算法基础,得到了若干自动发现涉及两个三角形不等式模块;将待定系数法引入到涉及两个三角形不等式研究中,实现了一大类不等式,尤其是特殊取等号条件不等式的自动发现;最后提出2个待解决的问题。

This paper discusses the tragedies and methods for the automatic detecting and judgment of two triangle inequalities related to the study on the program of agl2010 through inequality.A new detecting model of general inequality was given as a basic algorithm through which some models related to two automatically detecting inequalities were set up.The automatic detection of many an equality,especially those whose equal signs maintain the same,is realized.Two problems to be further studied are raised.