Thursday, May 13

MS34
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

Program Updates

Speaker Index

Hotel

Transportation

Registration

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