TY - RPRT TI - One method for proving inequalities by computer AU - Branko J. Malesevic PY - 2006 UR - https://arxiv.org/abs/math/0608789 ID - math/0608789 ER -