Validated Solution of Initial Value Problems for ODE

This publication has 4 references indexed in Scilit:

• A self-validating numerical method for the matrix exponential
  Computing, 1989
• Solving Ordinary Differential Equations Using Taylor Series
  ACM Transactions on Mathematical Software, 1982
• Fehlerabschätzung bei Anfangswertaufgaben für Systeme von gewöhnlichen Differentialgleichungen mit Anwendung auf das REENTRY-Problem
  Numerische Mathematik, 1975
• Interval Arithmetic Error-Bounding Algorithms
  SIAM Journal on Numerical Analysis, 1975