Tutorial on Validated Scientific Computing Using Interval Analysis

George F. Corliss Marquette University Milwaukee, Wisconsin George.Corliss@Marquette.edu www.eng.mu.edu/corlissg/PARA04 PARA'04 Workshop on State-of-the-Art in Scientific Computing Technical University of Denmark June 20-23, 2004

Outline

1. Arithmetic and errors - Interval Arithmetic
2. Linear systems
3. Nonlinear root finding
4. Bounding ranges of functions
5. Global optimization
6. Quadrature
7. Ordinary differential equations
8. ( Partial differential equations )
9. Lessons learned
10. References

We will not finish

Contents:

• Slides Talk-Main.ps (1.3 Mb)
• Slides Talk-Main.pdf (0.6 Mb)
• Handout Talk-Handout.ps (1.4 Mb) slides in a smaller font
• Handout Talk-Handout.pdf (0.5 Mb)
• Example programs: Fortran (directory), (zip)
• Example programs: Matlab (directory), (zip)
• Example programs: C ++ (directory), (zip)
• Example programs: Maple (directory), (zip)
• Latex files: Latex (directory)
• Evaluation form: evaluation.html, response summary
• Photos (directory), (zip)
• Also my structural engineering talk: structengr.ppt (ppt, 656 Kb), or structengr.pdf (pdf, 844 Kb) Applying Global Optimization in Structural Engineering
• Everything in one zip file (13 Mb)