Matricial decomposition of systems over rings.
Let ξ be a polynomial vector field on with coefficients of degree d and P be a polynomial of degree p. We are interested in bounding the multiplicity of a zero of a restriction of P to a non-singular trajectory of ξ, when P does not vanish identically on this trajectory. Bounds doubly exponential in terms of n are already known ([9,5,10]). In this paper, we prove that, when n=3, there is a bound of the form . In Control Theory, such a bound can be used to give an estimate of the degree of nonholonomy...