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