Brian J. Dupée, James H. Davenport. An Automatic Symbolic-Numeric Taylor Series ODE Solver. In Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, editors, Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, CASC 1999, Munich, Germany, May 31 - June 4, 1999. pages 37-50, Springer, 1999. [doi]
Abstract is missing.