RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @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}
    }