@inproceedings{e5782913cc724eccb21d2c27a5d4b418,
title = "Bounds for substituting algebraic functions into D-finite functions",
abstract = "It is well known that the composition of a D-finite function with an algebraic function is again D-finite. We give the first estimates for the orders and the degrees of annihilating operators for the compositions. We find that the analysis of removable singularities leads to an order-degree curve which is much more accurate than the order-degree curve obtained from the usual linear algebra reasoning.",
author = "Manuel Kauers and Gleb Pogudin",
note = "Publisher Copyright: {\textcopyright} 2017 Copyright held by the owner/author(s).; 42nd ACM International Symposium on Symbolic and Algebraic Computation, ISSAC 2017 ; Conference date: 25-07-2017 Through 28-07-2017",
year = "2017",
month = jul,
day = "23",
doi = "10.1145/3087604.3087616",
language = "English",
series = "Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC",
publisher = "Association for Computing Machinery",
pages = "245--252",
editor = "Michael Burr",
booktitle = "ISSAC 2017 - Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation",
}