Factorization of differential systems in characteristic p

@inproceedings{Cluzeau2003FactorizationOD,
title={Factorization of differential systems in characteristic p},
author={T. Cluzeau},
booktitle={ISSAC '03},
year={2003}
}

We present an algorithm for factoring differential systems with coefficients in <b>F</b><inf><i>p</i></inf>(<i>z</i>). Such an algorithm has already been given by van der Put in [20], [24, 13.1] and [22]. We recast his ideas to handle systems directly and we add some comparisons of strategies, an implementation in Maple<sup>1</sup> and a complexity analysis. The central tool for factoring in characteristic <i>p</i> is the <i>p</i> curvature. We prove the links between the <i>p</i>-curvature and… Expand