陈世平¹，刘忠²

1. 中国民航飞行学院德阳校区-四川省商贸学校, 德阳 618000; 2. 乐山职业技术学院, 乐山 614000

出版日期:2017-07-25发布日期:2017-09-30

Automated Proving of Exponent Polynomial Inequalities

CHEN Shiping ¹, LIU Zhong²

1. Deyang Branch of Civil Aviation Flight University of China-Sichuan Trade School, Deyang 618000; 2. Leshan Vocational and Technical College, Leshan 614000

Online:2017-07-25Published:2017-09-30







摘要
图/表
参考文献
相关文章
编辑推荐
-->Metrics
本文评论

讨论了指数多项式不等式的自动证明问题, 运用 Taylor展开式将目标不等 式的证明转化为一系列的一元多项式不等式的验证, 然后借助代数不等式证明工 具(如Bottema)完成最后的工作. 运用Maple实现了上述算法, 算法对所有指数 多项式不等式终止, 并且可以输出``可读''的证明过程.

分享此文:

()

[1]	张小英, 王平, 冯红银萍. 常微分方程-薛定谔方程耦合系统的输出反馈镇定[J]. 系统科学与数学, 2021, 41(4): 887-897.
[2]	陈振杰, 傅勤, 郁鹏飞, 张丹. 一类四阶抛物型偏微分多智能体系统的协调控制[J]. 系统科学与数学, 2021, 41(4): 898-912.
[3]	杨贵军, 吴洁琼. Pareto $\pi$ps 抽样的~Horvitz-Thompson 估计量方差研究[J]. 系统科学与数学, 2021, 41(4): 1150-1163.
[4]	张俊芳，周礼刚，金自强. 基于Pythagorean犹豫模糊熵和交叉熵的绩效评价方法[J]. 系统科学与数学, 2021, 41(2): 436-448.
[5]	陈宇峰，朱志韬，屈放. 国际油价、人民币汇率与国内金价的非对称溢出及动态传 导机制 ------ 基于三元VAR-Asymmetric BEKK (DCC)-GARCH (1, 1)模型[J]. 系统科学与数学, 2021, 41(2): 449-465.
[6]	吴红星，程国飞，王胜华. 细菌种群增生中Rotenberg模型解的渐近稳定性研究[J]. 系统科学与数学, 2020, 40(9): 1539-1549.
[7]	陆文星，戴一茹，李楚，李克卿. 基于改进PSO-BP神经网络的旅游客流量预测方法[J]. 系统科学与数学, 2020, 40(8): 1407-1419.
[8]	张培文，吴江，汪瑜，孙宏. 机队运力配置和USApHMP问题的联合决策模型与算法[J]. 系统科学与数学, 2020, 40(8): 1432-1446.
[9]	焦建军，陈兰荪，李利梅. 污染喀斯特环境下具瞬时与非瞬时脉冲效应的单种群动力学模型[J]. 系统科学与数学, 2020, 40(7): 1286-1296.
[10]	崔春生，王雪，李文龙. 基于用户在线评论的旅游景点推荐算法研究[J]. 系统科学与数学, 2020, 40(6): 1103-1116.
[11]	赵峰，王淼，高峰阳. 基于改进NSGA-II算法的次同步附加阻尼控制器的优化设计[J]. 系统科学与数学, 2020, 40(5): 751-760.
[12]	李振鹏，黄帅. 基于LDA主题模型的网络舆情研究[J]. 系统科学与数学, 2020, 40(3): 434-447.
[13]	李继红，赵仕静. 不同价格水平下排队策略研究[J]. 系统科学与数学, 2020, 40(3): 510-520.
[14]	王浩宇，张崇岐. 基于特殊混料模型$D$-最优设计搜索的交换点式门限接受算法[J]. 系统科学与数学, 2020, 40(2): 210-224.
[15]	龚雅键，魏先华，孟祥莺，刘宸昊. 遗传规划策略可以适用中国股票市场吗? ------基于随机性多目标遗传规划的股指交易策略研究[J]. 系统科学与数学, 2020, 40(12): 2381-2400.

-->

PDF全文下载地址:

http://sysmath.com/jweb_xtkxysx/CN/article/downloadArticleFile.do?attachType=PDF&id=13219