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

  Bonfire

Outline

Photo of Corliss Similar to a standard introduction to scientific computing:
  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: