论文部分内容阅读
逐次Taylor替换是解决超越函数多项式不等式机器证明的有效工具,本文将其与人工证明结合并借助代数不等式证明软件BOTTEMA,对一类形如sin(x)/x>u(x)v(x)的幂指函数不等式实现了机器证明,机器证明得出的结论虽然是已知结果,但其方法本身对同类不等式具有示范性.
逐次Taylor替换与一类幂指函数不等式的机器证明
【摘 要】
：
逐次Taylor替换是解决超越函数多项式不等式机器证明的有效工具,本文将其与人工证明结合并借助代数不等式证明软件BOTTEMA,对一类形如sin(x)/x>u(x)v(x)的幂指函数不等式实现
【机 构】
：
中国民航飞行学院德阳校区-四川省商贸学校,西南科技大学信息工程学院
【出 处】
：
汕头大学学报:自然科学版
【发表日期】
：
2019年4期
【基金项目】
：
四川省科技厅计划项目(18ZDYF3046),西南科技大学博士基金(17ZX7109).
其他文献
用旋量零标架方法对球对称动态黑洞时空中旋量粒子的Dirac方程分离变量,并退耦为普通微分方程组,从所获得的径向方程和角向方程出发,进一步导出了Dirac粒子的能级方程.得到了
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
给出了两个组合恒等式的概率证明,扩展了已知的结果.
“十七大”报告指出，转变经济发展方式，是关系国民经济全局的重大战略任务。转变经济发展方式对于提高经济发展质量和效益，把经济社会发展切实转入全面协调可持续发展的轨道，具有