Differential Equations with Symbolic Computation - Wang, Dongming; Zheng, Zhiming (Trends in Mathematics,, 2005)