陈世平¹，刘忠²

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

出版日期:2019-05-25发布日期:2019-08-28

Automated Proving for a Class of Transcendental-Polynomial Inequalities

CHEN Shiping¹ ,LIU Zhong²

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

Online:2019-05-25Published:2019-08-28







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

讨论了形如 $f(x, {\rm trans}_{1}(x), \cdots, {\rm trans}_{n}(x))>0$的超越函数多项式不等式的自动证明问题, 运用\ Taylor 展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证, 然后借助代数不等式证明工具完成最后的工作.运用 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=13647