An algorithm for solving DAEs with mechanization

In this paper, by using the theories and methods of mathematical analysis and computer algebra, a reliable algorithm of Padé approximation method for solving differential-algebraic equation systems was established, and a new Maple procedures mainproc was established, too. Ten examples are presented to illustrate the implementation of the program.