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

by Colin J Rust, Gregory J Reid, Allan D Wittkopf
Venue:In proceedings of ISSAC 1999