One method for proving inequalities by computer
  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. 
Branko J. Malesevic