RISC RISC Research Institute for Symbolic Computation  
  • @incollection{RISC4710,
    author = {Manuel Kauers},
    title = {{The Holonomic Toolbox}},
    booktitle = {{Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions}},
    language = {english},
    abstract = {This is an overview over standard techniques for holonomic functions, written for readers who are new to the subject. We state the definition for holonomy in a couple of different ways, including some concrete special cases as well as a more abstract and more general version. We give a collection of standard examples and state several fundamental properties of holonomic objects. Two techniques which are most useful in applications are explained in some more detail: closure properties, which can be used to prove identities among holonomic functions, and guessing, which can be used to generate plausible conjectures for equations satisfied by a given function.},
    pages = {??--??},
    publisher = {Springer},
    isbn_issn = {tba},
    year = {2013},
    note = {to appear},
    editor = {Johannes Bluemlein and Carsten Schneider},
    refereed = {yes},
    length = {25}