中国科学院数学与系统科学研究院期刊网
 Taylor展开式与三角函数不等式的自动证明
陈世平，刘忠
AUTOMATED PROVING OF TRIGONOMETRIC FUNCTION INEQUALITIES USING TAYLOR EXPANSION
CHEN Shiping,LIU Zhong
系统科学与数学 . 2016, (8): 1339 -1348 .  DOI: 10.12341/jssms12871