机器证明论文

本文主要研究内容作者陈世平,陈果（2019）在《逐次Taylor替换与一类幂指函数不等式的机器证明》一文中研究指出：逐次Taylor替换是解决超越函数多项式不等式机器证明的有效...