课题基金 / 基金详情

Industry/University Cooperative Research Activity: Algorithms and Systems For Symbolic and Algebraic Computation

Industry/University Cooperative Research Activity: Algorithms and Systems For Symbolic and Algebraic Computation
产学合作研究活动:符号和代数计算的算法和系统
批准号:
7909158
负责人:
Bobby Caviness
金额:
$23.94万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1979
资助国家:
美国
项目状态:
已结题
起止时间:
1979-09-15 至 1982-02-28

项目摘要

项目成果

Bobby Caviness的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Postdoctoral Associate in Experimental Symbolic Computation
  • 批准号:
    9405068
  • 项目类别:
    Standard Grant
  • 资助金额:
    $4.42万
  • 财政年份:
    1994
  • 负责人:
    Bobby Caviness
  • 依托单位:
U.S.-Western Europe Workshop on Quantifier Elimination and Cylindrical Algebraic Decomposition; Linz, Austria; October, 1993
  • 批准号:
    9224304
  • 项目类别:
    Standard Grant
  • 资助金额:
    $1.53万
  • 财政年份:
    1993
  • 负责人:
    Bobby Caviness
  • 依托单位:
Algorithms For Transcendental Function Arithmetic
  • 批准号:
    7623762
  • 项目类别:
    Standard Grant
  • 资助金额:
    $7.11万
  • 财政年份:
    1976
  • 负责人:
    Bobby Caviness
  • 依托单位:
海外基金