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
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.
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.