指数多项式不等式的自动证明北大核心CSCD |
| |
作者姓名: | 陈世平 刘忠 |
| |
作者单位: | 1.中国民航飞行学院德阳校区-四川省商贸学校618000;2.乐山职业技术学院614000; |
| |
基金项目: | 德阳市校(院;所)市科技合作计划资助课题 |
| |
摘 要: | 讨论了指数多项式不等式的自动证明问题,运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,然后借助代数不等式证明工具(如Bottema)完成最后的工作.运用Maple实现了上述算法,算法对所有指数多项式不等式终止,并且可以输出"可读"的证明过程.
|
关 键 词: | 指数多项式不等式 自动证明 上限多项式 下限多项式 可读证明 |
本文献已被 维普 等数据库收录! |
|