Mathematical Sciences Research Institute

Home » ADJOINT Research Seminar: Validated Computation of Special Mathematical Functions


ADJOINT Research Seminar: Validated Computation of Special Mathematical Functions April 27, 2021 (03:00 PM PDT - 04:15 PM PDT)
Parent Program: --
Location: MSRI: Online/Virtual
Speaker(s) Sean Brooks (Coppin State College), Rachel Vincent-Finley (Southern University and A&M College)

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.


No Video Uploaded
Abstract/Media No Abstract No Notes/Supplements Uploaded No Video Files Uploaded