Thursday, July 25
8:30-10:30 AM

Verification Theory, Techniques, Software: Components of Modern Reliable Scientific Computing (Part I of II)

Results of floating point computations are subject to roundoff error, and can thus lead to incorrect conclusions. However, it is often possible to automatically verify such computations, generally with interval computations. Such verification techniques span the subject areas of numerical analysis, as well as several other fields of computer science. Particular successes have appeared in recent years in linear algebraic systems, global optimization and nonlinear systems, and partial differential equations, etc. The speakers in this minisymposium will discuss several such techniques, including techniques in numerical approximation and global optimization and their applications to statistical computations and economics/business.

Organizers: R. Baker Kearfott, University of Southwestern Louisiana; and Vladik Y. Kreinovich, University of Texas, El Paso

8:30 Interval Computations and Global Optimization
Ronald Van Iwaarden, Hope College
9:00 Reliable Numerical Approximation with Interval Computations
Chenyi Hu, University of Houston-Downtown
9:30 Interval Computations in Economics and Business
Max E. Jerrell, Northern Arizona University
10:00 Interval Analysis in Statistical Computations
Morgan C. Wang, University of Central Florida

Registration | Hotel Information | Transportation | Speaker Index | Program Overview

MMD, 5/20/96