@article{JIMENEZPASTOR201990,
    Abstract = {Differentiably finite (D-finite) formal power series form a large class of useful functions for which a variety of symbolic algorithms exists. Among these methods are several closure properties that can be carried out automatically. We introduce a natural extension of these functions to a larger class of computable objects for which we prove closure properties. These are again algorithmic. This extension can be iterated constructively preserving the closure properties.},
    Author = {Jim{\'e}nez-Pastor, Antonio and Pillwein, Veronika},
    File = {A computable extension for D-finite functions- DD-finite functions - 10.1016@j.jsc.2018.07.002 - a - j.pdf},
    ISSN = {0747-7171},
    Journal = {Journal of Symbolic Computation},
    Keywords = {Holonomic functions, Closure properties, Formal power series},
    Pages = {90 - 104},
    Title = {A computable extension for D-finite functions: DD-finite functions},
    URL = {http://www.sciencedirect.com/science/article/pii/S0747717118300890},
    Volume = {94},
    Year = {2019},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0747717118300890},
    bdsk-url-2 = {https://doi.org/10.1016/j.jsc.2018.07.002},
    date-added = {2020-10-16 17:11:28 +0200},
    date-modified = {2020-10-16 17:11:28 +0200},
    doi = {10.1016/j.jsc.2018.07.002}
}

@article{JIMENEZPASTOR201990, Abstract = {Differentiably finite (D-finite) formal power series form a large class of useful functions for which a variety of symbolic algorithms exists. Among these methods are several closure properties that can be carried out automatically. We introduce a natural extension of these functions to a larger class of computable objects for which we prove closure properties. These are again algorithmic. This extension can be iterated constructively preserving the closure properties.}, Author = {Jim{\'e}nez-Pastor, Antonio and Pillwein, Veronika}, File = {A computable extension for D-finite functions- DD-finite functions - 10.1016@j.jsc.2018.07.002 - a - j.pdf}, ISSN = {0747-7171}, Journal = {Journal of Symbolic Computation}, Keywords = {Holonomic functions, Closure properties, Formal power series}, Pages = {90 - 104}, Title = {A computable extension for D-finite functions: DD-finite functions}, URL = {http://www.sciencedirect.com/science/article/pii/S0747717118300890}, Volume = {94}, Year = {2019}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0747717118300890}, bdsk-url-2 = {https://doi.org/10.1016/j.jsc.2018.07.002}, date-added = {2020-10-16 17:11:28 +0200}, date-modified = {2020-10-16 17:11:28 +0200}, doi = {10.1016/j.jsc.2018.07.002} }