Efficient algorithms for the symbolic computation of matrices

矩阵符号计算的高效算法

• 批准号: RGPIN-2020-06746
• 负责人: Zhang, Yang
• 金额: $ 2.99万
• 依托单位: University of Manitoba
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2020
• 资助国家: 加拿大
• 起止时间: 2020-01-01 至 2021-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=715292
• 关键词: Efficient; algorithms; symbolic; computation; matrices

Symbolic computation (also called computer algebra) is a relatively recent research area in computer science and mathematics, which refers to the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects, in particular, mathematical computations performed symbolically rather than numerically. Because of its lack of numerical errors, symbolic computation is widely used in mathematical research, engineering, and science. The overarching goal of this grant proposal is the design, analysis and implementation of efficient algorithms for matrices and tensors over a number of important algebraic structures in symbolic computation, such as computing various generalized inverses and normal forms, rank decomposition, simultaneous decomposition and solving matrix equations over various fields and polynomial rings. Their study is motivated by numerous applications in control theory, machine learning, data science, engineering, signal and color image processing, statistics, neural network, etc. For matrices over some fields, above questions have been explored in the past decades. Recently efficient symbolic algorithms for matrices over quaternion and generalized polynomials have attracted more and more attentions, in particular, these questions for tensors. We plan to employ some symbolic computation techniques such as Groebner bases to investigate these questions. We expect that this will lead to more efficient algorithms for computing generalized inverses and solving matrix (tensor) equations and systems of differential and difference equations. This should provide both theoretical and practical improvements over currently known algorithms. Finally, the algorithmic advances of this proposal will be implemented in computer algebra software such as Maple and SAGE. The projects all involve extensive training of highly qualified personnel (HQP) for their future positions in academia and industry.

符号计算（也称为计算机代数）是计算机科学和数学中一个相对较新的研究领域，它指的是研究和开发用于操纵数学表达式和其他数学对象的算法和软件，特别是以符号而不是数字方式进行的数学计算。由于符号计算没有数值误差，因此在数学研究、工程和科学中得到了广泛的应用。