TIDES
Taylor series Integrator for Differential Equations
...It consists on a C (Fortran) library, libTIDES, and a Mathematica package, MathTIDES. (MathTIDES requires Mathematica version >= 7.0) .
Basic references:
* A. Abad, R. Barrio, F. Blesa, M. Rodriguez, 2012. Algorithm 924: TIDES, a Taylor series Integrator for Differential EquationS, ACM TOMS. 39, no. 1, art. 5. (Main reference)
* A. Abad, R. Barrio, F. Blesa, M. Rodriguez, 2011. TIDES tutorial: Integrating ODEs by using the Taylor Series Method., Monografías de la Academia de Ciencias de la Universidad de Zaragoza. 36, pp. 1-116.
* R. ...