Thursday, May 13

Applications of Validated Numerics - Part I of II

10:45 AM-12:45 PM
Room: Georgia 2

Validated numerics encompasses such complementary techniques as symbolic computation, interval analysis, and rigorous proofs. The techniques are especially attractive in critical applications where accuracy is in doubt or model parameters are imprecisely known. The speakers in this minisymposium will provide a survey of compiler-based tools and industrial applications of validated numerics, especially to differential and algebraic systems, nonlinear systems, and global optimization.

Organizer: George F. Corliss
Marquette University

10:45-11:10 Verified Integration in Celestial Mechanics
Martin Berz, Michigan State University
11:15-11:40 Control of the Dependency Problem
Kyoko Makino, Michigan State University
11:45-12:10 Digital Signal Processing Estimation Problems Using Interval Methods
William Edmonson and Wen Lee, University of Florida
12:15-12:40 Reliable Computation of Phase Behavior Using Interval Methods
Gang Xu, Benito Stradi, Robert W. Maier, Joan F. Brennecke, and Mark A. Stadtherr, University of Notre Dame

AN99 Home


Program Updates

Speaker Index




LMH, 1/19/99, MMD, 2/2/99