One method for proving inequalities by computer
Abstract
Description
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.
Accepted in Journal of Inequalities and Applications
Accepted in Journal of Inequalities and Applications