The advent of reliable computing machines, computer algebra systems, and multiple precision computational packages diminished the need for tables of reference values for computing function values by interpolation, but today's numerical analysts, scientific researchers, and software developers still need a way to confirm the accuracy of numerical algorithms that compute mathematical function values. The field of validated computation of mathematical functions explores the development of multiple precision codes that compute certifiably accurate function values that can be used to test the accuracy of function data from personal, commercial, or publicly available codes. We discuss the analysis used to obtain reliable error bounds for floating point approximations and describe the implementation of the work in a publicly available beta site. 

To participate in this seminar, please register here: https://www.msri.org/seminars/25657

Schedule of five minute talks

This is the general registration form for all seminars associated with the Mathematical Problems in Fluid Dynamics program. After registering, you will receive the zoom link information and will be added to the mailing list to receive weekly emails about all upcoming events.

In the context of several key states in the U.S.A, we will review the basics of COVID-19 and consider the post-lockdown dynamics.  In particular we will discuss the main drivers of the disease and the drawbacks to a natural herd immunity strategy. This talk represents joint work with Kamal Barley, Keisha Cook and Abba Gumel.