@**incollection**{RISC3443,author = {Manuel Kauers},

title = {{Computer Algebra for Special Function Inequalities}},

booktitle = {{Tapas in Experimental Mathematics}},

language = {english},

abstract = {Recent computer proofs for some special function inequalities are presented. The
algorithmic ideas underlying these computer proofs are described, and the conceptual
difference to existing algorithms for proving special function identities is discussed.},

series = {Contemporary Mathematics},

volume = {457},

pages = {215--235},

publisher = {AMS},

isbn_issn = {ISBN 978-0-8218-4317-8},

year = {2008},

editor = {Tewodros Amdeberhan and Victor Moll},

refereed = {yes},

length = {21}

}