建立不等式的判别式法、极值法和机械化法之比较  

Comparation of Extremum,Discriminant and Antomated Proving Methods in Inequalities Establishing

作　　者：王挽澜[1] 姚勇[2] 

机构地区：[1]成都大学信息科学与技术学院 [2]中国科学院成都计算机应用技术研究所

出　　处：《成都大学学报（自然科学版）》2008年第3期194-197,共4页Journal of Chengdu University（Natural Science Edition）

摘　　要：在建立不等式时,将判别式法、极值法与和机械化法做比较,实例表明机械化法之优越性.For the methods of establishing inequalities,we compare the disefiminant and extremum methods with automated inequality proving.Several examples fully bear out the advantage of the automated inequality proving.

关 键 词：方法 不等式 机械化方法 

分 类 号：O178[理学—数学]