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

Stefan Gerhold Manuel Kauers

Published in: ISSAC (2005)

Keyphrases

piecewise linear
sufficient conditions
parameter values
penalty function
case study
transfer function
continuous functions
single parameter
cutting plane algorithm
real valued functions
integer solution