|
|||||
|
|
| 两个不等式通用模型及其应用 | |
| 引用本文： | 刘保乾.两个不等式通用模型及其应用[J].广东教育学院学报,2013(3):14-24. |
| 作者姓名： | 刘保乾 |
| 作者单位： | 西藏自治区组织编制信息管理中心 |
| 摘 要： | 提出了两个不等式通用模型,以这两个模型为基础设计了若干不等式自动发现命令,从而进一步完善了不等式自动发现与判定程序agl2010的功能,得到应用程序xhhj;给出了大量类型丰富的不等式(恒等式)自动发现实例;加强或推广了一些著名不等式;顺便评价了杨路教授的有关工作;提出了待解决的问题. |
| 关 键 词： | 不等式自动发现 agl2010程序 条件不等式 机器证明 |
| 本文献已被 CNKI 等数据库收录！ | |