High Performance Algorithms for Sparse and Structured Symbolic Computations

用于稀疏和结构化符号计算的高性能算法

• 批准号: 155376-2013
• 负责人: Giesbrecht, Mark
• 金额: $ 2.62万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2013
• 资助国家: 加拿大
• 起止时间: 2013-01-01 至 2014-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=522605
• 关键词: Performance; Algorithms; Sparse; Structured; Symbolic

This proposal describes a comprehensive program of research into the design, analysis and implementation of algorithms for foundational problems in symbolic mathematical computation. These are the algorithms that make commercial mathematical software like Maple and Mathematica run. They allow us to manipulate and solve large and complex sets of equations exactly, even when some quantities are unknown and left as variables.

该提案描述了一个全面的研究计划，旨在设计，分析和实现符号数学计算中基础问题的算法。这些算法使Maple和Mathematica等商业数学软件得以运行。它们使我们能够精确地操纵和求解大型复杂的方程组，即使某些量是未知的并作为变量。