Special Meeting: Foundations of Computational Mathematics

特别会议：计算数学基础

• 批准号: 0849383
• 负责人: Adrian Lewis
• 金额: $ 11万
• 依托单位: Cornell University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-08-01 至 2010-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0849383&HistoricalAwards=false
• 关键词: Special; Meeting; Foundations; Computational; Mathematics

This thematic program will explore the evolving interface between mathematics and computation. A wide variety of mathematical disciplines are involved, including computational algebraic geometry and symbolic computation, computational number theory, computational geometry, topology and dynamics, complexity and computability in real computation, computer science and optimization theory. Algorithms will be central, not only in their traditional role in the invention and analysis of numerical methods, but also as fundamental theoretical tools for mathematical experimentation and discovery, as proof techniques, and as models of computability and tractability. By assembling a large, broad group of participants, ranging from established mathematicians and computer scientists to graduate students, the program will transform our knowledge of computational mathematics well into the future.The Fields Institute in Toronto will host this timely six-month program, capitalizing on rapidly evolving networks of international expertise linking mathematics and computation; NSF funding will support participation of junior U.S. researchers and graduate students. The impact of constantly increasing computational power on applied mathematics, science and engineering, motivated by new applications such as encryption, data mining, and web search, has inevitably led to the study of the computational tools themselves, creating and reinvigorating a rich spectrum of mathematical disciplines broadly represented at this special semester. The program involves three one-week focus workshops, special lecture series and graduate courses (delivered in particular by two distinguished U.S. female computer scientists, Eva Tardos and Lenore Blum), diverse senior and junior researchers and postdoctoral fellows making long- and short-term visits and engaging in day-to-day interaction, and extensive efforts to disseminate the emerging new science. These diverse activities will integrate cutting-edge research, interdisciplinary synergy, and learning and training opportunities for an array of participants as broad and inclusive as possible.

这个主题程序将探讨数学和计算之间不断发展的界面。 涉及多种数学学科，包括计算代数几何和符号计算，计算数理论，计算几何，拓扑和动态，计算机科学和优化理论中的复杂性和计算性。 算法将不仅是其在数值方法的发明和分析中的传统作用，而且是数学实验和发现的基本理论工具，作为证明技术，以及作为可计算性和拖延性的模型。 通过组装一大批广泛的参与者，从成熟的数学家和计算机科学家到研究生，该计划将使我们对计算数学的知识很好地转变为未来。多伦多的田野学院将持续六个月的计划，将托管这个及时的六个月计划，利用快速发展的国际专业知识网络，连接数学和计算； NSF资金将支持美国初级研究人员和研究生的参与。 不断增加计算能力对应用数学，科学和工程的影响，这是受诸如加密，数据挖掘和Web搜索等新应用的动机，这不可避免地导致了对计算工具本身的研究，创造和重新创造和重新创造了这个特殊代表的数学学科的丰富谱系。 该计划涉及三个为期一周的焦点研讨会，特别讲座系列和研究生课程（尤其是由两位杰出的美国女性计算机科学家Eva Tardos和Lenore Blum提供的），多样化的高级和初级研究人员以及多样化的研究人员以及多长期和短期访问，并参与了日常互动，并在日常的互动中进行努力，并为新科学提供了新的科学。 这些不同的活动将融合尖端的研究，跨学科的协同作用，以及为一系列广泛和包容的参与者学习和培训机会。