Friday, May 14

The speakers in this minisymposium will present advances in theory,
software, and applications of validated ODE solution. They will
discuss algorithmic advances in validated computation over long
periods, including applications to near-earth asteroid orbits; a
validated ODE solver, with an OO design for easy inclusion of
alternative algorithms; a class of validated Runge-Kutta methods,
contrasting with standard methods based on Automatic Differentiation
and Taylor Series; and a design of a validated solver for smooth
differential-algebraic systems of arbitrarily high index.