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