课题基金 / 基金详情

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

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

项目摘要

项目成果

MorenoMaza, Marc的其他基金

相似基金

相关文献

中文摘要
翻译
拟议的主题将把计算机代数的研究范围扩大到两个有待完成的领域：数学分析中极限的计算以及系统参数线性方程和不等式的整数解的计算。 这些主题还将解决高性能计算中的重要问题：扩展多面体编译技术以支持非线性表达式，并在硬件加速器上高效实现多精度和任意精度算术。 最后，拟议的研究将支持和加强我们与IBM Canada和Maplesoft合作的更多应用软件项目，即MetaFork编译框架和RegularChains库。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Pushing the limits of computer algebra: From the integer resolution of polynomial systems to the computation of topological closures
  • 批准号：
    RGPIN-2018-06534
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.99万
  • 财政年份：
    2022
  • 负责人：
    MorenoMaza, Marc
  • 依托单位：
    University of Western Ontario
Pushing the limits of computer algebra: From the integer resolution of polynomial systems to the computation of topological closures
  • 批准号：
    RGPIN-2018-06534
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.99万
  • 财政年份：
    2021
  • 负责人：
    MorenoMaza, Marc
  • 依托单位：
    University of Western Ontario
Pushing the limits of computer algebra: From the integer resolution of polynomial systems to the computation of topological closures
  • 批准号：
    RGPIN-2018-06534
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $2.99万
  • 财政年份：
    2019
  • 负责人：
    MorenoMaza, Marc
  • 依托单位：
    University of Western Ontario
Comprehensive optimization of parametric kernels for graphics processing units
  • 批准号：
    500717-2016
  • 项目类别：
    Collaborative Research and Development Grants
  • 资助金额：
    $3.5万
  • 财政年份：
    2018
  • 负责人：
    MorenoMaza, Marc
  • 依托单位：
    University of Western Ontario
海外基金