RISC RISC Research Institute for Symbolic Computation  
  • @inproceedings{RISC2466,
    author = {Stefan Gerhold and Manuel Kauers},
    title = {{A Procedure for Proving Special Function Inequalities Involving a Discrete Parameter}},
    booktitle = {{Proceedings of ISSAC '05}},
    language = {english},
    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.},
    pages = {156--162},
    publisher = {ACM Press},
    isbn_issn = {ISBN 1-59593-095-705/0007},
    year = {2005},
    editor = {Manuel Kauers},
    refereed = {yes},
    length = {7}