Symbolic-Numeric Linear Algebra Computation

符号数值线性代数计算

基本信息

  • 批准号:
    0830130
  • 负责人:
  • 金额:
    $ 15万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2008
  • 资助国家:
    美国
  • 起止时间:
    2008-09-01 至 2012-08-31
  • 项目状态:
    已结题

项目摘要

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)尽管输入数据的近似性质,精确的结果是有效和有意义的。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

B. David Saunders其他文献

A symmetric numerical range for matrices
  • DOI:
    10.1007/bf01396569
  • 发表时间:
    1976-03-01
  • 期刊:
  • 影响因子:
    2.200
  • 作者:
    B. David Saunders;Hans Schneider
  • 通讯作者:
    Hans Schneider

B. David Saunders的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('B. David Saunders', 18)}}的其他基金

AF: Small: Collaborative Research: High Performance Exact Linear Algebra Kernels
AF:小型:协作研究:高性能精确线性代数内核
  • 批准号:
    1018063
  • 财政年份:
    2010
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
CITADel - CyberInfrastructure Technology Advancement for Delaware
CITADel - 特拉华州网络基础设施技术进步
  • 批准号:
    0963399
  • 财政年份:
    2010
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Integer Linear Algebra, LinBox Applications and Extensions
整数线性代数、LinBox 应用和扩展
  • 批准号:
    0515197
  • 财政年份:
    2005
  • 资助金额:
    $ 15万
  • 项目类别:
    Continuing Grant
Collaborative Research: DefCOM - Distributed Defense against DDoS Attacks
协作研究:DefCOM - 针对 DDoS 攻击的分布式防御
  • 批准号:
    0430228
  • 财政年份:
    2004
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
ITR/ASC: Collaborative Research - Linbox: A Generic Library for Seminumeric Black Box Linear Algebra
ITR/ASC:合作研究 - Linbox:半数值黑盒线性代数通用库
  • 批准号:
    0112807
  • 财政年份:
    2001
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Exact Computation in Sparse Linear Algebra
稀疏线性代数中的精确计算
  • 批准号:
    0098284
  • 财政年份:
    2001
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
U.S.-France Cooperative Research: Theory and Practice of Parallel Linear Algebra in Computer Algebra
美法合作研究:计算机代数中并行线性代数的理论与实践
  • 批准号:
    9726763
  • 财政年份:
    1998
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Symbolic Linear Algebra Computation
符号线性代数计算
  • 批准号:
    9712362
  • 财政年份:
    1997
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
East Coast Computer Algebra Day, University of Delaware, Newark, Delaware, April 8, l995
东海岸计算机代数日,特拉华大学,特拉华州纽瓦克,l995 年 4 月 8 日
  • 批准号:
    9505363
  • 财政年份:
    1995
  • 资助金额:
    $ 15万
  • 项目类别:
    Standard Grant
Collaborative Research: Systems and Algorithms for Paralleland Distributed Symbolic Algebraic Computation
协作研究:并行分布式符号代数计算系统和算法
  • 批准号:
    9123666
  • 财政年份:
    1992
  • 资助金额:
    $ 15万
  • 项目类别:
    Continuing Grant

相似海外基金

Symbolic linear algebra, symbolic-numeric computation and applications
符号线性代数、符号数值计算及应用
  • 批准号:
    RGPIN-2015-04168
  • 财政年份:
    2019
  • 资助金额:
    $ 15万
  • 项目类别:
    Discovery Grants Program - Individual
Symbolic linear algebra, symbolic-numeric computation and applications
符号线性代数、符号数值计算及应用
  • 批准号:
    RGPIN-2015-04168
  • 财政年份:
    2018
  • 资助金额:
    $ 15万
  • 项目类别:
    Discovery Grants Program - Individual
Symbolic linear algebra, symbolic-numeric computation and applications
符号线性代数、符号数值计算及应用
  • 批准号:
    RGPIN-2015-04168
  • 财政年份:
    2017
  • 资助金额:
    $ 15万
  • 项目类别:
    Discovery Grants Program - Individual
Symbolic linear algebra, symbolic-numeric computation and applications
符号线性代数、符号数值计算及应用
  • 批准号:
    RGPIN-2015-04168
  • 财政年份:
    2016
  • 资助金额:
    $ 15万
  • 项目类别:
    Discovery Grants Program - Individual
Symbolic linear algebra, symbolic-numeric computation and applications
符号线性代数、符号数值计算及应用
  • 批准号:
    RGPIN-2015-04168
  • 财政年份:
    2015
  • 资助金额:
    $ 15万
  • 项目类别:
    Discovery Grants Program - Individual
CAREER: Solving Over-Constrained Systems of Non-Linear Equations by Symbolic-Numeric Methods
职业:用符号数值方法求解非线性方程组的过约束系统
  • 批准号:
    0347506
  • 财政年份:
    2004
  • 资助金额:
    $ 15万
  • 项目类别:
    Continuing Grant
Effective algorithms for symbolic linear algebra and numeric polynomial algebra
符号线性代数和数值多项式代数的有效算法
  • 批准号:
    41897-2001
  • 财政年份:
    2004
  • 资助金额:
    $ 15万
  • 项目类别:
    Discovery Grants Program - Individual
Effective algorithms for symbolic linear algebra and numeric polynomial algebra
符号线性代数和数值多项式代数的有效算法
  • 批准号:
    41897-2001
  • 财政年份:
    2003
  • 资助金额:
    $ 15万
  • 项目类别:
    Discovery Grants Program - Individual
Effective algorithms for symbolic linear algebra and numeric polynomial algebra
符号线性代数和数值多项式代数的有效算法
  • 批准号:
    41897-2001
  • 财政年份:
    2002
  • 资助金额:
    $ 15万
  • 项目类别:
    Discovery Grants Program - Individual
Effective algorithms for symbolic linear algebra and numeric polynomial algebra
符号线性代数和数值多项式代数的有效算法
  • 批准号:
    41897-2001
  • 财政年份:
    2001
  • 资助金额:
    $ 15万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了