1. On Turán's inequality for Legendre polynomials;Alzer;Expo. Math.,2007
2. Convolution structures of Laguerre polynomials;Askey;J. Anal. Math.,1977
3. Quantifier elimination for real closed fields by cylindrical algebraic decomposition;Collins,1975
4. A procedure for proving special function inequalities involving a discrete parameter;Gerhold,2005
5. On elementary methods in positivity theory;Gillis;SIAM J. Math. Anal.,1983