One method for proving inequalities by computer
<|reference_start|>One method for proving inequalities by computer: 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.<|reference_end|>
@article{malesevic2006one,
    title={One method for proving inequalities by computer},
    author={Branko J. Malesevic},
    journal={arXiv preprint arXiv:math/0608789},
    year={2006},
    archivePrefix={arXiv},
    eprint={math/0608789},
    primaryClass={math.CA cs.GR cs.MS cs.NA math.GM math.NA}
}