One Method for Proving Inequalities by Computer

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

Bibliographic Details
Published in:Journal of Inequalities and Applications
Main Author: Male&#353;evi&#263; Branko J
Format: Article
Language:English
Published: SpringerOpen 2007-01-01
Online Access:http://www.journalofinequalitiesandapplications.com/content/2007/078691
Description
Summary:<p/> <p>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.</p>
ISSN:1025-5834
1029-242X