发表服务
-10逐次Taylor替换与一类幂指函数不等式的机器证明陈世平1，陈果2（1.中国民航飞行学院德阳校区-四川省商贸学校，四川2.西南科技大学信息工程学院，四川摘要绵阳德阳618000；612000）逐次Taylor替换是解决超越函数多项式不等式机器证明的有效 ...
用户：投期刊网 2020-01-05上传 侵权/申诉. 导语. 本论文发表于四川师范大学学报 (自然科学版)，属于教育相关论文范文材料。. 仅供大家论文写作参考。. －8395．2019．06．013非负矩形张量A的最大奇异值λ0（A）在固[1]体力学中的强椭圆性条件和量子力学中的纠缠[2 ...
-10逐次Taylor替换与一类幂指函数不等式的机器证明陈世平1，陈果2（1.中国民航飞行学院德阳校区-四川省商贸学校，四川2.西南科技大学信息工程学院，四川摘要绵阳德阳618000；612000）逐次Taylor替换是解决超越函数多项式不等式机器证明的有效 ...
用户：投期刊网 2020-01-05上传 侵权/申诉. 导语. 本论文发表于四川师范大学学报 (自然科学版)，属于教育相关论文范文材料。. 仅供大家论文写作参考。. －8395．2019．06．013非负矩形张量A的最大奇异值λ0（A）在固[1]体力学中的强椭圆性条件和量子力学中的纠缠[2 ...
发表服务