One method for proving inequalities by computer
经典分析与常微分方程
2007-05-23 v7 图形学
数学软件
数值分析
综合数学
数值分析
摘要
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.
引用
@article{arxiv.math/0608789,
title = {One method for proving inequalities by computer},
author = {Branko J. Malesevic},
journal= {arXiv preprint arXiv:math/0608789},
year = {2007}
}
备注
Accepted in Journal of Inequalities and Applications