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
• 财政年份: 2019
• 资助国家: 加拿大
• 起止时间: 2019-01-01 至 2020-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=688343
• 关键词: Pushing; limits; computer; algebra; integer

The proposed themes will expand the scope of computer algebra research into two areas where much remains to be done: computations of limits in mathematical analysis and, computing the integer solutions of systems parametric linear equations and inequalities.******These themes will also address important problems in high-performance computing: extending polyhedral compilation techniques to support non-linear expressions and, delivering efficient implementation of multi-precision and arbitrary precision arithmetic on hardware accelerators.******Finally, the proposed research will support and enhance our more applied software projects with IBM Canada and Maplesoft, namely the MetaFork compilation framework and the RegularChains library.

所提出的主题将将计算机代数研究的范围扩展到两个领域，在这些领域中仍有许多待做：数学分析的限制计算，并计算系统参数线性方程和不平等的整数解决方案。 ******最终，拟议的研究将支持和增强我们使用IBM Canada和Maplesoft的更应用的软件项目，即Metafork编译框架和常规Chains图书馆。