论文摘要
The problem of the maximum range of the parameter of Wilker-type inequality（sin（x）/x）α<2/3+(（cos（x））α/3 is successfully solved by machine proving with transcendental polynomial inequality proving programme Successive Taylor Substitution and artificial skills combined.Although the conclusions are known results,the method itself is exemplary for the same type of inequality.
论文目录
文章来源
类型: 国际会议
作者: Guo CHEN,Yi-le SHI,Zhi-gui LIU
来源: 2019 International Conference on Artificial Intelligence, Control and Automation Engineering(AICAE 2019) 2019-06-23
年度: 2019
分类: 基础科学
专业: 数学
单位: Southwest University of Science and Technology, Information Engineering College
分类号: O178
页码: 274-286
总页数: 13
文件大小: 990k
下载量: 8