位置：立项数据库 > 立项详情页
数学机械化方法推广应用
  • 项目名称：数学机械化方法推广应用
  • 项目类别：专项基金项目
  • 批准号：A0324665
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：高小山
  • 依托单位：中国科学院数学与系统科学研究院
  • 批准年度：2003
高小山的项目
代数参数方程及其在几何模型中的应用
系统科学与复杂性学报（英文版）
数学机械化国际会议
数学机械化应用
模式识别、人工智能
组织第8届国际工业与应用数学大会
ICM2002数学卫星会议17
数学机械化方法及其在信息技术中的应用
期刊论文 56 会议论文 22 获奖 17 专利 3
第八届国际工业与应用数学大会
　数学机械化方法及其在数字化设计制造中的应用
期刊论文 90
数学机械化方法及其在信息技术中的应用
期刊论文 98 会议论文 28