We exhibit probabilistic algorithms which compute the differentiation index, the differential Hilbert function and an algebraic parametric set associated to a differential rational mapping. These algorithms are based on a process of linearization and specialization in a generic solution, and have polynomial time complexity.
We propose algorithms for the computation of the first <i>N</i> terms of a vector (or a full basis) of power series solutions of a linear system of differential equations at an ordinary point, using a number of arithmetic operations that is quasi-linear with respect to <i>N</i>. Similar results are also given in the non-linear case. This extends previous… (More)
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equations. We apply this principle by finding some affine derivations that induces expanded Lie point symmetries of considered system. By rewriting original problem in an invariant… (More)
We present a probabilistic seminumerical algorithm that computes the differential Hilbert function associated to a differential rational mapping. This algorithm explicitly determines the set of variables and derivatives which can be arbitrarily fixed in order to locally invert the differential mapping under consideration. The arithmetic complexity of this… (More)
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equation. We apply this principle by finding dilatations and translations that are Lie point symmetries of considered ordinary differential system. By rewriting original problem in an… (More)
This paper deals with the index reduction problem for the class of quasi-regular DAE systems. It is shown that any of these systems can be transformed to a generically equivalent first order DAE system consisting of a single purely algebraic (polynomial) equation plus an under-determined ODE (that is, a semi-explicit DAE system of differentiation index 1)… (More)