Symbolic-Numeric Linear Algebra Computation

符号数值线性代数计算

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

Symbolic/Numeric Linear Algebra ComputationAbstractThe primary characteristic of symbolic computation with large rational numbers is that the computations may be slow but exact -- sometimes more exact than needed. The primary characteristic of numerical computation with floating point numbers is that the computations are fast but approximate -- sometimes more approximate than acceptable. In this research, accuracy and speed of computation are achieved by using hybrids of symbolic and numeric methods. This work involves improvements for linear system solving, matrix inertia computation, and minimal polynomial computation. The methods and implementations that this project creates can be taken up by software systems used widely in science, engineering, and education such as Maple, Mathematica, and Matlab. This research contributes to the fundamental understanding of the interplay between the exact and the approximate.The investigators create and demonstrate computational methods to solve several classes of linear systems of equations. Techniques heretofore undeveloped in this arena include matrix bordering techniques and iterative refinement. Additionally, the research improves symbolic-numeric capability to compute inertia of matrices, a measure that is important in control theory and arises in the study of Lie groups. The research includes finessing numerical loss of accuracy and handling of singular cases. The experimental approach to mathematics is enhanced by enabling large problems to be solved, particularly in number theory, combinatorics, algebraic geometry, thus providing data for conjecture formation and for experimental verification of conjectures. For science and engineering, this project creates a capability to solve a class of problems for which no solution method currently exists at all, specifically it is to solve linear systems where (1) numerical methods fail due to ill-condition of the problem instance, yet (2) the exact result is valid and meaningful despite the approximate nature of the input data.

符号/数值线性代数计算摘要处理大量有理数的符号计算的主要特点是计算可能很慢但很精确——有时比需要的更精确。使用浮点数进行数值计算的主要特点是计算速度快但近似——有时近似得超出可接受范围。在本研究中，采用符号与数值相结合的方法来提高计算的精度和速度。这项工作包括对线性系统求解、矩阵惯性计算和最小多项式计算的改进。本项目创建的方法和实现可以被科学、工程和教育领域广泛使用的软件系统所采用，例如Maple、Mathematica和Matlab。这项研究有助于从根本上理解精确和近似之间的相互作用。研究人员创建并演示了求解几类线性方程组的计算方法。在此领域尚未开发的技术包括矩阵边界技术和迭代细化。此外，该研究提高了计算矩阵惯性的符号-数值能力，这是在控制理论和李群研究中出现的一个重要度量。研究内容包括数值精度损失的处理和奇异情况的处理。通过能够解决大问题，特别是数论、组合学、代数几何，从而为猜想的形成和猜想的实验验证提供了数据，从而增强了数学的实验方法。对于科学和工程来说，这个项目创造了一种能力来解决一类目前根本没有解决方法的问题，特别是解决线性系统，其中(1)数值方法由于问题实例的病态而失败，然而(2)尽管输入数据的近似性质，确切的结果是有效和有意义的。