... methods for ODE’s,http://www.eng.mu.edu/corlissg/Pubs/03Lyngby/Slides/[2] N. S. Nedialkov, Interval tools for ODEs and DAEs,http://www.cas.mcmaster.ca/∼nedialk/PAPERS/intvtools/intvtools.pdf[3] ... to compute Σ, set up a generalized ODEsystem, and then generate FORTRAN 77 code for evaluating TCs for theODE system28OutlineInterval me thods for IVP ODEsThe initial value problemSoftwareApplicationsTheoryThe ... x8618Interval Tools for ODEs and DAE sNed NedialkovDepartment of Computing and SoftwareMcMaster University, Hamilton, OntarioCanadaSWIM 2008Montpellier, France19 June 2008PerformanceExperiments...