Differential equations with symbolic computation - Wang, Dongming; Zheng, Zhiming (Trends in Mathematics, 2005)