One method for proving inequalities by computer
Classical Analysis and ODEs
2007-05-23 v7 Graphics
Mathematical Software
Numerical Analysis
General Mathematics
Numerical Analysis
Abstract
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.
Keywords
Cite
@article{arxiv.math/0608789,
title = {One method for proving inequalities by computer},
author = {Branko J. Malesevic},
journal= {arXiv preprint arXiv:math/0608789},
year = {2007}
}
Comments
Accepted in Journal of Inequalities and Applications