Symbolic Linear Algebra Computation

符号线性代数计算

• 批准号: 9712362
• 负责人: B. David Saunders
• 金额: $ 18.09万
• 依托单位: University of Delaware
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1997
• 资助国家: 美国
• 起止时间: 1997-09-15 至 2002-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9712362&HistoricalAwards=false
• 关键词: Symbolic; Linear; Algebra; Computation

The goal of this project is the improvement of the implemented and available software for solution of a variety of matrix computation problems, including solution of systems of parameterized linear equations, solution of systems of linear equations over a polynomial function domain, matrix normal form computations, and determination of matrix similarity and equivalence. Such tools are a heavily used portion of computer algebra packages such as Maple, Mathematica, and Magma. Also they are relevant to custom large scale applications. The research will focus on (1) algorithm design, (2) parallel and distributed implementation, and (3) use of heuristics. An explicit goal of this work is to provide implementations that are directly usable by the scientific community. Such implementations will include stand-alone portable codes and code to be included in the libraries of one or more of the generally available computer algebra systems. In this sense this work will enhance the problem solving environments available for scientific and engineering computation.

该项目的目标是改进已实现的和可用的软件，用于解决各种矩阵计算问题，包括参数化线性方程组的求解，多项式函数域上线性方程组的求解，矩阵范式计算以及矩阵相似性和等价性的确定。 这些工具是计算机代数软件包（如Maple、Mathematica和Magma）中大量使用的部分。 它们也与定制的大规模应用相关。 研究将集中在（1）算法设计，（2）并行和分布式实现，和（3）使用算法。 这项工作的一个明确目标是提供科学界直接可用的实现。 这样的实现将包括独立的可移植代码和要包括在一个或多个通常可用的计算机代数系统的库中的代码。 从这个意义上说，这项工作将提高科学和工程计算的解决问题的环境。