中国科学院数学与系统科学研究院期刊网
指数多项式不等式的自动证明
陈世平，刘忠
Automated Proving of Exponent Polynomial Inequalities
CHEN Shiping, LIU Zhong
系统科学与数学 . 2017, (7): 1692 -1703 .  DOI: 10.12341/jssms13219