幂指函数不等式相关硕士博士期刊学术论文 - 搜论网

幂指函数不等式相关论文

逐次Taylor替换与一类幂指函数不等式的机器证明

逐次Taylor替换是解决超越函数多项式不等式机器证明的有效工具,本文将其与人工证明结合并借助代数不等式证明软件BOTTEMA,对一类......

期刊

超越函数多项式幂指函数不等式机器证明逐次Taylor替换 transcendental-polynomialpower-exponential funct

看过本文同时还关注