The automatic detection and judgment of two triangle inequalities related to program agl2010 through inequality
Abstract：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.
Keywords：the automatic detection of equalityprogram agl2010equalities related to two trianglesmachine verification
Publication Date：2012-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：8( 11-17,21 )