| 建立不等式的判别式法、极值法和机械化法之比较 |
| |
| 引用本文： | 王挽澜,姚勇.建立不等式的判别式法、极值法和机械化法之比较[J].成都大学学报(自然科学版),2008,27(3). |
| |
| 作者姓名： | 王挽澜 姚勇 |
| |
| 作者单位： | 成都大学,信息科学与技术学院,四川,成都,610106;中国科学院,成都计算机应用技术研究所,四川,成都,610041 |
| |
| 摘 要： | 在建立不等式时,将判别式法、极值法与和机械化法做比较,实例表明机械化法之优越性.
|
| 关 键 词： | 方法 不等式 杌械化方法 |
Comparation of Extremum,Discriminant and Antomated Proving Methods in Inequalities Establishing |
| |
| WANG Wanlan,YAO Yong.Comparation of Extremum,Discriminant and Antomated Proving Methods in Inequalities Establishing[J].Journal of Chengdu University (Natural Science),2008,27(3). |
| |
| Authors: | WANG Wanlan YAO Yong |
| |
| Institution: | WANG Wanlan1,YAO Yong2(1.College of Information Science , Technology,Chengdu University,Chengdu 610106,China,2.Chengdu Institute of Computer Applications,Chinese Academy of Science,Chengdu 610041,China) |
| |
| Abstract: | For the methods of establishing inequalities,we compare the discriminant and extremum methods with automated inequality proving.Several examples fully bear out the advantage of the automated inequality proving. |
| |
| Keywords: | method inequality automated inequality proving |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
