Differential Equations with Symbolic Computations by Dongming Wang