Efficient symbolic-numeric algorithms for structured constrained differential polynamial systems

结构化约束微分多项式系统的高效符号数值算法

• 批准号: 184166-2009
• 负责人: Reid, Greg
• 金额: $ 1.6万
• 依托单位: University of Western Ontario
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2012
• 资助国家: 加拿大
• 起止时间: 2012-01-01 至 2013-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=503770
• 关键词: Efficient; symbolic; numeric; algorithms; structured

Symbolic Computation is the study of algorithms and software systems to manipulate mathematical expressions. Until recently the algorithms have processed exact expressions and equations only. Driven by the needs of applications, in which data is approximate, the subject has grown to include symbolic-numeric computation for polynomial equations. This is part of a broad effort to combine the generality of exact symbolic computation with the realism and efficiency of numeric computation.

符号计算是研究操作数学表达式的算法和软件系统。直到最近，算法只处理精确表达式和方程。 由于应用程序的需要，其中数据是近似的，这个主题已经发展到包括多项式方程的符号-数值计算。 这是联合收割机将精确符号计算的通用性与数值计算的真实性和效率相结合的广泛努力的一部分。