Existence and uniqueness theorems for formal power series solutions of analytic dierential systems (1999)

by C J Rust, G J Reid, A D Wittkopf
Venue:Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 105{112 (electronic), ACM