
AUTOMATED PROVING OF TRIGONOMETRIC FUNCTION INEQUALITIES USING TAYLOR EXPANSION
CHEN Shiping,LIU Zhong
Journal of Systems Science and Mathematical Sciences ›› 2016, Vol. 36 ›› Issue (8) : 1339-1348.
AUTOMATED PROVING OF TRIGONOMETRIC FUNCTION INEQUALITIES USING TAYLOR EXPANSION
The problem of mechanical proving of transcendental inequalities is discussed with the trigonometric function inequalities in accordance with the model of
/
〈 |
|
〉 |