| 不等式的自动发现原理及其实现 |
| |
| 引用本文： | 刘保乾.不等式的自动发现原理及其实现[J].汕头大学学报(自然科学版),2011,26(2):3-11. |
| |
| 作者姓名： | 刘保乾 |
| |
| 作者单位： | 西藏自治区组织编制信息管理中心,西藏,拉萨,850000 |
| |
| 摘 要： | 提出了自动发现不等式的思路、算法并编写了应用程序agl2010;通过大量的实例演示了agl2010程序丰富的指令集及使用方法,指出agl2010程序不仅可以自动发现不等式,而且还可以完成指定的任务;提出了不等式磨光器的概念,并设计了若干实用的磨光器,从而为自动加强不等式提供了一个有用的途径.
|
| 关 键 词： | 不等式自动发现 半正定 差分代换 随机数验证程序 |
Theory of Automatically Finding of Inequality and Its Applications |
| |
| LIU Bao-qian.Theory of Automatically Finding of Inequality and Its Applications[J].Journal of Shantou University(Natural Science Edition),2011,26(2):3-11. |
| |
| Authors: | LIU Bao-qian |
| |
| Institution: | LIU Bao-qian (Information Center,Department of Personnel,Tibet Autonomous Region,Lasa 850000,Tibet,China) |
| |
| Abstract: | An algorithm is proposed to find inequality automatically. Application programs were written with agl 2010. Examples are shown for the instruction set of agl 2010 and its usage. Agl 2010 not only can be used to find inequality automatically,but also can be used to finish given tasks. The concept of inequality smoother is proposed and designed. |
| |
| Keywords: | automatically finding of inequality semi-definite differential substitution |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
