@inproceedings{10.1145/309831.309875,
    Address = {New York, NY, USA},
    Author = {Rust, C. J. and Reid, G. J. and Wittkopf, A. D.},
    BookTitle = {Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation},
    File = {Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems - 309831.309875 - a - a - a - w.pdf},
    ISBN = {1581130732},
    Location = {Vancouver, British Columbia, Canada},
    Pages = {105--112},
    Publisher = {Association for Computing Machinery},
    Series = {ISSAC '99},
    Title = {Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems},
    URL = {https://doi.org/10.1145/309831.309875},
    Year = {1999},
    bdsk-url-1 = {https://doi.org/10.1145/309831.309875},
    date-added = {2020-04-08 11:35:20 +0200},
    date-modified = {2020-04-08 11:35:20 +0200},
    numpages = {8},
    doi = {10.1145/309831.309875}
}

@inproceedings{10.1145/309831.309875, Address = {New York, NY, USA}, Author = {Rust, C. J. and Reid, G. J. and Wittkopf, A. D.}, BookTitle = {Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation}, File = {Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems - 309831.309875 - a - a - a - w.pdf}, ISBN = {1581130732}, Location = {Vancouver, British Columbia, Canada}, Pages = {105--112}, Publisher = {Association for Computing Machinery}, Series = {ISSAC '99}, Title = {Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems}, URL = {https://doi.org/10.1145/309831.309875}, Year = {1999}, bdsk-url-1 = {https://doi.org/10.1145/309831.309875}, date-added = {2020-04-08 11:35:20 +0200}, date-modified = {2020-04-08 11:35:20 +0200}, numpages = {8}, doi = {10.1145/309831.309875} }