Pushing the limits of computer algebra: From the integer resolution of polynomial systems to the computation of topological closures

突破计算机代数的极限：从多项式系统的整数分辨率到拓扑闭包的计算

• 批准号: RGPIN-2018-06534
• 负责人: MorenoMaza, Marc
• 金额: $ 2.99万
• 依托单位: University of Western Ontario
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2021
• 资助国家: 加拿大
• 起止时间: 2021-01-01 至 2022-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=737001
• 关键词: Pushing; limits; computer; algebra; integer

Code generation; Computational topology; Computer algebra; Computer program analysis; Hardware accelerators; Parallel processing; Parametric integer programming; Polyhedral computation; Solvers of non-linear polynomial systems; Symbolic analysis

代码生成；计算拓扑；计算机代数；计算机程序分析；硬件加速器；并行处理；参数整数规划；多面体计算；非线性多项式系统的求解器；符号分析