| 不等式自动发现与判定程序agl2010的若干新改进 |
| |
| 引用本文： | 刘保乾.不等式自动发现与判定程序agl2010的若干新改进[J].汕头大学学报(自然科学版),2014(1):33-39. |
| |
| 作者姓名： | 刘保乾 |
| |
| 作者单位： | 西藏自治区组织编制信息管理中心,西藏扣萨850000 |
| |
| 摘 要： | 通过引入全局变量,使不等式自动发现过程中数据表达式的构造简洁而方便;通过角代换,解决了锐角三角形不等式的验证问题;通过正数域等价集,解决了实变元不等式的验证问题;给出了等腰三角形时取等号不等式的构造方法;实现了已知不等式隔离式的自动发现.
|
| 关 键 词： | 不等式自动发现 agl2010程序 三角形不等式 多项式不等式 |
Some Improvements on Automatically Finding of Inequalities and the Verification Program Ag12010 |
| |
| LIU Bao-qian.Some Improvements on Automatically Finding of Inequalities and the Verification Program Ag12010[J].Journal of Shantou University(Natural Science Edition),2014(1):33-39. |
| |
| Authors: | LIU Bao-qian |
| |
| Institution: | LIU Bao-qian (Information Management Center, Department of Organizational Information, Lasa 850000, Xizang Autonomous District, China) |
| |
| Abstract: | Data expressions in automatically finding of inequalities become more convenient and elegant by introducing global variables. The validation problem in acute triangle inequalities is solved by positive equality sets. The validation problem in real-valued inequalities is solved by angle substitution. The construction approaches are given when inequalities become equalities for isosceles triangles, and automatically finding of isolated inequalities is achieved. |
| |
| Keywords: | automatically finding of inequalities program Ag12010 triangle inequalities polynomial inequalities |
| 本文献已被 CNKI 维普 等数据库收录！ |
