2011•Journal of Foshan UniversityRequires access
The improvement and application of the program of agl2009 for triangle inquality
Liu Bao-qian
Open publisher page 0 citations
Abstract
It is proved that the improvement of agl2009 for the judgement of triagle inequality enables the program to deal with more types of inequality.Considering the defficiency of the traditional machine provement of the given inequality,we provide some application samples for the unusual inequality and introduce our assumptions on newly-found inequality.