陈世平；刘，钟 指数多项式不等式的自动证明。 （中文。英文摘要） Zbl 1399.68188号 J.系统。科学。数学。科学。 37，第7期，1692-1703（2017）. 摘要：讨论了指数多项式不等式的机械证明问题。利用泰勒展开，将目标不等式的证明简化为仅用一个变量验证一系列多项式不等式，然后用Bottema等代数不等式证明软件包完成。上述算法是在Maple上实现的，对于所有指数多项式不等式都将终止。此外，该程序是“可读的”。 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 2005年10月26日 三角函数和多项式的不等式 关键词：指数多项式不等式；自动化证明；上限多项式；下限多项式；可读校样 软件：枫树；波特玛 PDF格式BibTeX公司 XML格式引用 \textit{S.Chen}和textit{Z.Liu}，J.Syst。科学。数学。科学。37，第7号，1692--1703（2017；Zbl 1399.68188）