Noncommutative structures in computer algebra

计算机代数中的非交换结构

• 批准号: 312386-2010
• 负责人: Zhang, Yang
• 金额: $ 1.46万
• 依托单位: University of Manitoba
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2014
• 资助国家: 加拿大
• 起止时间: 2014-01-01 至 2015-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=548718
• 关键词: Noncommutative; structures; computer; algebra

Computer algebra (also called symbolic computation) is a relatively recent research area in computer science and mathematics, where the mathematical computation is symbolic rather than numeric. Although the numerical computations provide efficient solutions in many practical questions, computer algebra strives to address the different and arguably more difficult problems by providing exact solutions, or solutions parameterized by variables in the input. In the past few decades, this method has been developed very quickly and successfully applied to many other areas.

计算机代数（也称为符号计算）是计算机科学和数学中相对较新的研究领域，其中数学计算是符号的而不是数值的。虽然数值计算在许多实际问题中提供了有效的解决方案，但计算机代数努力通过提供精确的解决方案或由输入中的变量参数化的解决方案来解决不同的和可以说更困难的问题。在过去的几十年里，这种方法得到了迅速的发展，并成功地应用于许多其他领域。