Natasha Malaschonok. An Algorithm for Symbolic Solving of Differential Equations and Estimation of Accuracy. In Vladimir P. Gerdt, Ernst W. Mayr, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing, 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings. Volume 5743 of Lecture Notes in Computer Science, pages 213-225, Springer, 2009. [doi]
Abstract is missing.