Journal of Inequalities and Applications 
Volume 2007 (2007), Article ID 78691, 8 pages
doi:10.1155/2007/78691
Research Article

One Method for Proving Inequalities by Computer

Branko J. Malešević

Faculty of Electrical Engineering, University of Belgrade, P.O. Box 35-54, Belgrade 11120, Serbia

Received 31 August 2006; Revised 30 October 2006; Accepted 31 October 2006

Recommended by Andrea Laforgia

Abstract

We consider a numerical method for proving a class of analytical inequalities via minimax rational approximations. All numerical calculations in this paper are given by Maple computer program.