规范展开论文

论文摘要讨论了形如f（x,trans1（x）,…,transn（x））>0的超越函数多项式不等式的自动证明问题,运用Taylor展开式将目标不等式的证明转化为一系列的一元...