Workshop on Advanced Cyber-Enabled Discovery & Innovation (CDI) Through Symbolic and Numeric Computation

高级网络驱动发现研讨会

• 批准号: 0751501
• 负责人: Erich Kaltofen
• 金额: --
• 依托单位: North Carolina State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-09-15 至 2010-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0751501&HistoricalAwards=false
• 关键词: Workshop; Advanced; Cyber; Enabled; Discovery

The discipline of symbolic computation provides advanced software for cyber-enabled discovery and innovation. Symbolic methodologies and programs are applied to problem solving and model discovery in--scientific computing,--physics,--mathematics,--inter-system communication protocols and standards,--categorical language design, generic programming and compilation,and more. Due to the complexity of the arising computations, parallel and distributes environments are coming into use, symbolic and numeric approaches are combined into hybrid methods, and semantic verification and output certification (e.g., through Las Vegas randomization and numerical error analysis) are performed.We propose to gather in late October or early November 2007 in Washington DC a group of 24--30 invited internationally recognized experts from academia and industry in both symbolic computation and its CDI applications disciplines (e.g., numerical computing, physics, mathematics, computing language design and compilation, parallel and distributed computation, program interface design) for a one and one half day workshop. The objectives of our workshop are to discuss and produce a report on possible research directions and their synergies for CDI through symbolic computation, both in the symbolic computation and the applications disciplines. Novel uses of symbolic computation can be sparse model construction by hybrid symbolic/numeric methods, sparse exact matrix computations for problems from physics and mathematics, multi-level parallel software design for polynomial system solution and non-linear optimization, high-level categorical and verifiable program design, algorithm synthesis, and more.

符号计算的学科为支持网络的发现和创新提供了高级软件。 符号方法和程序应用于解决问题和模型发现 - 科学计算 - 物理，数学， - 系统间通信协议协议和标准， - 分类语言设计，通用编程和编译等等。 由于出现的计算的复杂性，平行和分布环境正在使用，符号和数字方法被合并为混合方法，语义验证和输出认证（例如，通过拉斯维加斯随机化和数值错误分析）进行。符号计算及其CDI应用学科（例如，数值计算，物理，数学，计算语言设计和编译，并行和分布式计算，程序接口设计），用于一日半天的研讨会。 我们研讨会的目的是通过符号计算和应用学科讨论并通过符号计算来讨论和制作有关CDI可能的研究方向及其协同作用的报告。 符号计算的新颖用途可以是通过混合符号/数字方法，物理和数学问题的稀疏精确矩阵计算，多项式系统解决方案的多级平行软件设计以及非线性优化，高级别的分类和可验证的计划设计，AlgorithM综合等。