A procedure for proving special function inequalities involving a discrete parameter.

Stefan Gerhold, Manuel Kauers

Browse the full ISSAC paper archive.