课题基金 / 基金详情

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

项目摘要

项目成果

MorenoMaza, Marc的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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万
  • 财政年份：
    2020
  • 负责人：
    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
海外基金