Symbolic Algorithm for a System of Differential-Algebraic Equations

In this paper, a symbolic algorithm for solving a regular initial value problem (IVP) for a system of linear differential-algebraic equations (DAEs) with constant coefficients has been presented. Algebra of integro-differential operators is employed to express the given system of DAEs. We compute a canonical form of the given system which produces another simple equivalent system. Algorithm includes computing the matrix Green’s operator and the vector Green’s function of a given IVP. Implementation of the proposed algorithm in Maple is also presented with sample computations.