Journal of Inequalities and Applications
Volume 2007 (2007), Article ID 78691, 8 pages
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

Academic Editor: Andrea Laforgia

Copyright © 2007 Branko J. Malešević. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


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.