@inproceedings{10.1145/780506.780521,
    Abstract = {In this paper, we present a new zero-test for expressions which are constructed from formal power solutions to algebraic differential equations using the ring operations and differentiation. We also provide a survey of all existing methods that we know of and a detailed comparison of these methods with our approach.},
    Address = {New York, NY, USA},
    Author = {van der Hoeven, Joris},
    BookTitle = {Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation},
    File = {A New Zero-Test for Formal Power Series - vanderhoeven2002 - a.pdf},
    ISBN = {1581134843},
    Location = {Lille, France},
    Pages = {117--122},
    Publisher = {Association for Computing Machinery},
    Series = {ISSAC '02},
    Title = {A New Zero-Test for Formal Power Series},
    URL = {https://doi.org/10.1145/780506.780521},
    Year = {2002},
    bdsk-url-1 = {https://doi.org/10.1145/780506.780521},
    date-added = {2023-02-02 21:12:46 +0100},
    date-modified = {2023-02-02 21:12:46 +0100},
    numpages = {6},
    doi = {10.1145/780506.780521}
}

@inproceedings{10.1145/780506.780521, Abstract = {In this paper, we present a new zero-test for expressions which are constructed from formal power solutions to algebraic differential equations using the ring operations and differentiation. We also provide a survey of all existing methods that we know of and a detailed comparison of these methods with our approach.}, Address = {New York, NY, USA}, Author = {van der Hoeven, Joris}, BookTitle = {Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation}, File = {A New Zero-Test for Formal Power Series - vanderhoeven2002 - a.pdf}, ISBN = {1581134843}, Location = {Lille, France}, Pages = {117--122}, Publisher = {Association for Computing Machinery}, Series = {ISSAC '02}, Title = {A New Zero-Test for Formal Power Series}, URL = {https://doi.org/10.1145/780506.780521}, Year = {2002}, bdsk-url-1 = {https://doi.org/10.1145/780506.780521}, date-added = {2023-02-02 21:12:46 +0100}, date-modified = {2023-02-02 21:12:46 +0100}, numpages = {6}, doi = {10.1145/780506.780521} }