Wednesday, July 15
MS45
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
LMH Created: 3/18/98 Updated: 5/13/98