@inproceedings{10.1145/3452143.3465534,
    Abstract = {D-finite functions satisfy linear differential equations with polynomial coefficients. The solutions to this type of equations may have singularities determined by the zeros of their leading coefficient. There are algorithms to desingularize the equations, i.e., remove singularities from the equation that do not appear in its solutions. However, classical computations of closure properties (such as addition, multiplication, etc.) with D-finite functions return equations with extra zeros in the leading coefficient. In this paper we present theory and algorithms based on linear algebra to control the leading coefficients when computing these closure properties and we also extend this theory to the more general class of differentially definable functions.},
    Address = {New York, NY, USA},
    Author = {Jim\'{e}nez-Pastor, Antonio},
    BookTitle = {Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation},
    File = {Simple Differentially Definable Functions - 3452143.3465534.pdf},
    ISBN = {9781450383820},
    Keywords = {linear algebra, differential algebra, formal power series, closure properties, ordinary differential equations, generating functions, d-finite functions},
    Location = {Virtual Event, Russian Federation},
    Pages = {209--216},
    Publisher = {Association for Computing Machinery},
    Series = {ISSAC '21},
    Title = {Simple Differentially Definable Functions},
    URL = {https://doi.org/10.1145/3452143.3465534},
    Year = {2021},
    bdsk-url-1 = {https://doi.org/10.1145/3452143.3465534},
    date-added = {2022-07-01 12:43:06 +0200},
    date-modified = {2022-07-01 12:43:06 +0200},
    numpages = {8},
    doi = {10.1145/3452143.3465534}
}

@inproceedings{10.1145/3452143.3465534, Abstract = {D-finite functions satisfy linear differential equations with polynomial coefficients. The solutions to this type of equations may have singularities determined by the zeros of their leading coefficient. There are algorithms to desingularize the equations, i.e., remove singularities from the equation that do not appear in its solutions. However, classical computations of closure properties (such as addition, multiplication, etc.) with D-finite functions return equations with extra zeros in the leading coefficient. In this paper we present theory and algorithms based on linear algebra to control the leading coefficients when computing these closure properties and we also extend this theory to the more general class of differentially definable functions.}, Address = {New York, NY, USA}, Author = {Jim\'{e}nez-Pastor, Antonio}, BookTitle = {Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation}, File = {Simple Differentially Definable Functions - 3452143.3465534.pdf}, ISBN = {9781450383820}, Keywords = {linear algebra, differential algebra, formal power series, closure properties, ordinary differential equations, generating functions, d-finite functions}, Location = {Virtual Event, Russian Federation}, Pages = {209--216}, Publisher = {Association for Computing Machinery}, Series = {ISSAC '21}, Title = {Simple Differentially Definable Functions}, URL = {https://doi.org/10.1145/3452143.3465534}, Year = {2021}, bdsk-url-1 = {https://doi.org/10.1145/3452143.3465534}, date-added = {2022-07-01 12:43:06 +0200}, date-modified = {2022-07-01 12:43:06 +0200}, numpages = {8}, doi = {10.1145/3452143.3465534} }