TY - RPRT TI - A Computer Proof of Turan's Inequality AU - S. Gerhold AU - M. Kauers PY - 2005 UR - https://arxiv.org/abs/math/0509468 ID - math/0509468 ER -