Theory of formal integrability and DAEs: effective computations
This paper deals with the computation of the formally integrable systems underlying a given quasi-linear polynomial DAE. We use as stopping condition the criterium of differential stability, which happens to be equivalent to the formal integrability in dimension 1. A symbolic method is developed to compute effectively a finite collection of so-called triangular stable DAEs, whose solutions are precisely all the solutions of the initial system. Besides, this algorithm enables to determine the generic points of a triangular DAE, by checking the non-nullity of a single polynomial.