Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems

C. J. Rust, Gregory J. Reid, Allan D. Wittkopf. Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems. In ISSAC. pages 105-112, 1999. [doi]