| 带约束条件多项式的差分代换及其应用 |
| |
| 引用本文： | 刘保乾.带约束条件多项式的差分代换及其应用[J].汕头大学学报(自然科学版),2010,25(2):1-10. |
| |
| 作者姓名： | 刘保乾 |
| |
| 作者单位： | 西藏自治区组织编制信息中心,西藏,拉萨,850000 |
| |
| 摘 要： | 对三角形几何不等式判定算法agl进行了改进和补充,并根据这种算法设计了agl程序的升级版agl2009,讨论了带约束条件差分代换在证明根式型不等式中的应用;给出了用agl程序发现的若干优美的三角形几何不等式.
|
| 关 键 词： | 差分代换 三角形几何不等式 agl算法 机器证明 |
Constrained Polynomial Differential Substitution and Applications |
| |
| LIU Bao-qian.Constrained Polynomial Differential Substitution and Applications[J].Journal of Shantou University(Natural Science Edition),2010,25(2):1-10. |
| |
| Authors: | LIU Bao-qian |
| |
| Institution: | LIU Bao-qian(Information Center,Department of Personnel,Tibet Autonomous Region,Lasa 850000,Tibet,China) |
| |
| Abstract: | Geometric inequality algorithm is improved and an upgraded version agl2009 is designed.Constrained polynomial differential substitution is studied for square root inequalityand several geometric inequalities are found by the agl algorithm. |
| |
| Keywords: | differential substitution geometric inequality algorithm agl algorithm machine proofing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
