Manuel Kauers, Stefan Gerhold,
"A Procedure for Proving Special Function Inequalities Involving a Discrete Parameter"
, in Manuel Kauers: Proceedings of ISSAC '05, ACM Press, Seite(n) 156--162, 2005, ISBN: 1-59593-095-705/0007
A Procedure for Proving Special Function Inequalities Involving a Discrete Parameter
Sprache des Titels:
Proceedings of ISSAC '05
We define a class of special function inequalities that contains many classical examples, such as the Cauchy-Schwarz inequality, and introduce a proving procedure based on induction and Cylindrical Algebraic Decomposition. We present an array of non/trivial examples that can be done by our method and have not been proven automatically before. Some difficult well-known inequalities such as the Askey-Gasper inequality and Vietoris's inequality lie in our class as well, but we do not know if our proving procedure terminates on them.