An Automatic Symbolic-Numeric Taylor Series ODE Solver

One of the basic techniques in every mathematician’s toolkit is the Taylor series representation of functions. It is of such fundamental importance and it is so well understood that its use is often a first choice in numerical analysis. This faith has not, unfortunately, been transferred to the design of computer algorithms.