@inproceedings{40b578c4c69c4563a76d020767f7b86e,
title = "A Procedure for Proving Special Function Inequalities Involving a Discrete Parameter",
abstract = "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.",
author = "Manuel Kauers and Stefan Gerhold",
year = "2005",
doi = "10.1145/1073884.1073907",
language = "English",
isbn = "1595930957",
series = "Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC",
publisher = "ACM Press",
pages = "156--162",
editor = "\{Manuel Kauers\}",
booktitle = "Proceedings of ISSAC '05",
}