Differential Equations with Symbolic Computations door Dongming Wang