当前位置：
数字出版物超市 >> 
数学机械化理论与核心算法
数学机械化理论与核心算法
【项目名称】 数学机械化理论与核心算法
【项目编号】 2004CB318001
【项目目标】
【项目关键词】 共形几何 Petri网语言 数学机械化方法 数学机械化 核心算法 正规语言 引理 Petri网 资源调度 刚体运动 代数 任务图 服务组合 旋量 信息技术 单眼视觉 曲线拼接 网格计算 网语言 运算性质 共享合成 几何表示 几何计算 Web服务 调度方案 语言 几何建模 化简 不变量 量表 基?
【项目承办单位】 中国科学院数学与系统科学研究院;
【项目负责人】 李洪波;
【项目来源】 国家重点基础研究发展计划（973计划）项目
【涉及学科】 数学;计算机软件及计算机应用
【科研经费】 0
【所属大项目】 数学机械化方法及其在信息技术中的应用
【项目参与研究人员】
    【项目参与研究机构】
    >>更多
    【项目成果摘要】
    【发布单位】 科学技术部
    【发布时间】 2004-03-02
    【申请截止时间】 2004-04-29
    【立项时间】
    【完成时间】
    【申请条件】
    【联系方式】
    【项目信息来源】 http://www.973.gov.cn/ReadItem.aspx?itemid=479
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....