Library Development for a Mechanized Mathematics System
Library Development for a Mechanized Mathematics System
机械化数学系统的库开发
批准号：
480570-2015
负责人：
OrkinFenster, AlyssaJade
金额：
$0.33万
依托单位：
依托单位国家：
加拿大
项目类别：
University Undergraduate Student Research Awards
财政年份：
2015
资助国家：
加拿大
项目状态：
已结题
起止时间：
2015-01-01 至 2016-12-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
国内基金
海外基金
水稻边界发育缺陷突变体abnormal boundary development(abd)的基因克隆与功能分析
-
批准号：32070202
-
项目类别：面上项目
-
资助金额：58.0万元
-
批准年份：2020
-
负责人：汪泉
-
依托单位：
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
-
批准号：--
-
项目类别：--
-
资助金额：40万元
-
批准年份：2020
-
负责人：Vikrant Gupta
-
依托单位：
