One method for proving inequalities by computer
arXiv:math/0608789
Abstract
In this article we consider a method for proving a class of analytical inequalities via minimax rational approximations. All numerical calculations in this paper are given by Maple computer program.
Accepted in Journal of Inequalities and Applications