Thursday, May 13

Applications of Validated Numerics - Part II of II

(For description, see Part I, MS22)

3:45 PM-5:45 PM
Room: Georgia 2

Organizer: George F. Corliss
Marquette University

3:45-4:10 Development of a Finite Element Analysis Program Based on Interval Arithmetic
Frank Fritz, Marquette University
4:15-4:40 Existence Verification for Singular Zeros of Nonlinear Systems
R. Baker Kearfott and Jianwei Dian, University of Southwestern Louisiana
4:45-5:10 Compiler Motivated Interval Foundation Extensions
G. William Walster, Sun Microsystems, Palo Alto
5:15-5:40 Interval Arithmetic Compilers and Applications
Michael Schulte, Vitaly Zelov, and Ahmet Akkas, Lehigh University; and James Craig Burley, Free Software Foundation, Boston

AN99 Home


Program Updates

Speaker Index




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