Wednesday, July 15

Validated Solution of ODEs and DAEs (Part II of II)

2:00 PM-3:30 PM
Room: Sidney Smith 2102

(For description, see Part I, MS39)

Organizer: John D. Pryce
Royal Military College of Science, Cranfield University, United Kingdom
2:00 ADIODES, a Self-Validating ODE Solver
Ole Stauning, Technical University of Denmark, Lyngby, Denmark
2:30 Implicit Methods
Robert Rihm, Universität Karlsruhe, Germany
3:00 The Role of Constraints in Computing Validated Solutions to Differential-Algebraic Equations
Weldon A. Lodwick and George F. Corliss, University of Colorado, Denver

Program Program Overview Program-at-a-Glance Program Updates Speaker Index Registration Hotel Transportation

LMH Created: 3/18/98 Updated: 5/13/98