One method for proving inequalities by computer
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.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- August 2006
- DOI:
- 10.48550/arXiv.math/0608789
- arXiv:
- arXiv:math/0608789
- Bibcode:
- 2006math......8789M
- Keywords:
-
- Mathematics - Classical Analysis and ODEs;
- Mathematics - General Mathematics;
- Mathematics - Numerical Analysis;
- Computer Science - Graphics;
- Computer Science - Mathematical Software;
- Computer Science - Numerical Analysis;
- 26Dxx;
- 33F05;
- 41A20
- E-Print:
- Accepted in Journal of Inequalities and Applications