位置：立项数据库 > 立项详情页
数学机械化国际会议
  • 项目名称：数学机械化国际会议
  • 项目类别：国际(地区)合作与交流项目
  • 批准号：10910301009
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：李子明
  • 依托单位：中国科学院数学与系统科学研究院
  • 批准年度：2009
李子明的项目
有限维线性偏微分-差分系统的构造性理论、算法、及其应用
期刊论文 5 会议论文 1
关于ore多项式的算法和实现