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
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(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
-
依托单位:
海外基金