Mathematical Sciences: Conference on Numerical Analysis result Verification

该奖项支持一个题为“具有自动结果验证的数值分析：数学、应用和软件”的会议。会议将于1993年2月25日至3月1日在路易斯安那州拉斐特举行。会议将讨论数值分析中计算的自动验证（区间分析）。会议有三个目标：1。为美国研究人员提供最新的计算自动验证；2. 向年轻的研究人员和研究生介绍自动验证计算的现状和技术；3. 为工业数学家和自动验证计算研究人员之间的互动提供了一个论坛。

This award supports a conference entitled: "Numerical Analysis with Automatic Result Verification: Mathematics, Applications, and Software". The conference will be held from February 25 to March 1, 1993, in Lafayette, Louisiana. The conference will be concerned with automatic verification of computations (interval analysis) in numerical analysis. The conference has three goals: 1. Bringing U. S. researchers up to date on automatic verification of computations; 2. Apprising young researchers and graduate students of the status and technology for automatically verified computations; 3. Providing a forum for interactions between industrial mathematicians and researchers in automatically verified computations.