Mathematical Sciences: Conference on Numerical Analysis result Verification

数学科学：数值分析结果验证会议

• 批准号: 9216120
• 负责人: R Kearfott
• 金额: $ 0.73万
• 依托单位: University of Louisiana at Lafayette
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1992
• 资助国家: 美国
• 起止时间: 1992-12-01 至 1993-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9216120&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Conference; Numerical; Analysis

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.

该奖项支持一个题为：“数字 自动结果验证分析：数学， 应用程序和软件”。 会议将于 1993年2月25日至3月1日，路易斯安那州拉斐特。 的 会议将关注自动验证 数值分析中的区间分析（Interval Analysis）。 的 会议有三个目标： 1. 带你来。S.研究人员最新的自动 计算的验证; 2. 向青年研究人员和研究生介绍 自动验证现状与技术 计算; 3. 为工业界之间的互动提供论坛 数学家和研究人员在自动验证 计算。