Thursday, May 13

MS22
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

Program Updates

Speaker Index

Hotel

Transportation

Registration

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