课题基金 / 基金详情

Efficient Computer Algorithms for Symbolic Mathematics

Efficient Computer Algorithms for Symbolic Mathematics
符号数学的高效计算机算法
批准号：
9696203
负责人：
Erich Kaltofen
金额：
$8.69万
依托单位：
North Carolina State University
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1996
资助国家：
美国
项目状态：
已结题
起止时间：
1996-07-01 至 1997-09-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9696203&HistoricalAwards=false
关键词：
EfficientComputerAlgorithmsSymbolicMathematics

项目摘要

项目成果

Erich Kaltofen的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AF: Small: Symbolic Computation with Certificates, Sparsity and Error Correction
  • 批准号：
    1717100
  • 项目类别：
    Standard Grant
  • 资助金额：
    $49.64万
  • 财政年份：
    2017
  • 负责人：
    Erich Kaltofen
  • 依托单位：
    North Carolina State University
AF: Small: Symbolic computation with sparsity, error checking and error correction
  • 批准号：
    1421128
  • 项目类别：
    Standard Grant
  • 资助金额：
    $46.99万
  • 财政年份：
    2014
  • 负责人：
    Erich Kaltofen
  • 依托单位：
    North Carolina State University
AF: Small: Efficient Exact/Certified Symbolic Computation By Hybrid Symbolic-Numeric and Parallel Methods
  • 批准号：
    1115772
  • 项目类别：
    Standard Grant
  • 资助金额：
    $42.5万
  • 财政年份：
    2011
  • 负责人：
    Erich Kaltofen
  • 依托单位：
    North Carolina State University
Model Discovery and Verification With Symbolic, Hybrid Symbolic-Numeric and Parallel Computation
  • 批准号：
    0830347
  • 项目类别：
    Standard Grant
  • 资助金额：
    $30.0万
  • 财政年份：
    2008
  • 负责人：
    Erich Kaltofen
  • 依托单位：
    North Carolina State University
国内基金
海外基金
基于多重计算全息片(Computer-generated Hologram,CGH)的光学非球面干涉绝对检验方法研究
  • 批准号：
    62375132
  • 项目类别：
    面上项目
  • 资助金额：
    54.00万元
  • 批准年份：
    2023
  • 负责人：
    马骏
  • 依托单位：
    南京理工大学
Journal of Computer Science and Technology
  • 批准号：
    61224001
  • 项目类别：
    专项基金项目
  • 资助金额：
    20.0万元
  • 批准年份：
    2012
  • 负责人：
    万晓霰
  • 依托单位：
    中国科学院计算技术研究所
Journal of Computer Science and Technology
  • 批准号：
    61040017
  • 项目类别：
    专项基金项目
  • 资助金额：
    4.0万元
  • 批准年份：
    2010
  • 负责人：
    万晓霰
  • 依托单位：
    中国科学院计算技术研究所