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

@inproceedings{Rust1999ExistenceAU,
  title={Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems},
  author={C. J. Rust and Gregory J. Reid and Allan D. Wittkopf},
  booktitle={ISSAC},
  year={1999}
}
We present Existence ant1 Uniqueness Theorems for formal pO\Wr series solutions Of ilnd~t.i(’ s\lSteIlls Of PDF. in il cmtain form. ‘This form can be obtained by it finil.c number of differediations and cliulinat.ic)us of the original systen~~ and allows its formal power series solut,ious t.0 lx coniput~ed in a11 alg0rithmic fashion. The result.ing reduced… CONTINUE READING