Homological method of computing invariants of systems of differential equations

AbstractA method is given of computing the E1-terms of the Vinogradov spectral sequence of involutive systems of differential equations. It is based on the formal geometric formalism, by which various useful concepts for the linear differential equations can also be utilized in studies of nonlinear systems of differential equations