@inproceedings{a942a3e9c01245efbadaa5ab09d1ae35,
title = "Generalized hermite reduction, creative telescoping and definite integration of d-finite functions",
abstract = "Hermite reduction is a classical algorithmic tool in symbolic integration. It is used to decompose a given rational function as a sum of a function with simple poles and the derivative of another rational function. We extend Hermite reduction to arbitrary linear differential operators instead of the pure derivative, and develop efficient algorithms for this reduction. We then apply the generalized Hermite reduction to the computation of linear operators satisfied by single definite integrals of D-finite functions of several continuous or discrete parameters. The resulting algorithm is a generalization of reduction-based methods for creative telescoping.",
author = "Alin Bostan and Fr{\'e}d{\'e}ric Chyzak and Pierre Lairez and Bruno Salvy",
note = "Publisher Copyright: {\textcopyright} 2018 Association for Computing Machinery.; 43rd ACM International Symposium on Symbolic and Algebraic Computation, ISSAC 2018 ; Conference date: 16-07-2018 Through 19-07-2018",
year = "2018",
month = jul,
day = "11",
doi = "10.1145/3208976.3208992",
language = "English",
series = "Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC",
publisher = "Association for Computing Machinery",
pages = "95--102",
booktitle = "ISSAC 2018 - Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation",
}