您的位置： 专家智库 > >

中国科学院知识创新工程重要方向项目(KJCX-YW-S02)

作品数：12 被引量：46H指数：4
相关作者：姚勇徐嘉杨路陈胜利张韬更多>>
相关机构：中国科学院成都计算机应用研究所西南民族大学中国科学院研究生院更多>>
发文基金：中国科学院知识创新工程重要方向项目国家重点基础研究发展计划国家自然科学基金更多>>
相关领域：理学自动化与计算机技术电子电信更多>>

领域

  • 8个自动化与计算...
  • 7个理学
  • 5个电子电信
  • 4个文化科学
  • 3个机械工程
  • 3个电气工程
  • 2个经济管理
  • 2个一般工业技术
  • 1个哲学宗教
  • 1个天文地球
  • 1个石油与天然气...
  • 1个建筑科学
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个环境科学与工...
  • 1个社会学

主题

  • 6个代数
  • 6个等式
  • 6个多项式
  • 6个机器证明
  • 5个定理
  • 4个迭代
  • 4个对称多项式
  • 3个代数不等式
  • 3个代数系
  • 3个代数系统
  • 3个等式证明
  • 3个对称核
  • 2个代数方程
  • 2个代数数
  • 2个单形
  • 2个点集
  • 2个定理机器证明
  • 2个动点
  • 2个对称不等式
  • 2个对称函数

机构

  • 7个中国科学院成...
  • 4个中国科学院
  • 3个华东师范大学
  • 3个中国科学院研...
  • 2个中国科学院自...
  • 1个北京邮电大学
  • 1个广州大学
  • 1个北京大学
  • 1个电子科技大学
  • 1个清华大学
  • 1个四川大学
  • 1个郑州大学
  • 1个四川理工学院
  • 1个西南民族大学
  • 1个郑州轻工业学...
  • 1个中国科学院重...

资助

  • 9个中国科学院知...
  • 8个国家重点基础...
  • 8个国家自然科学...
  • 5个中国科学院知...
  • 4个中央高校基本...
  • 3个国家高技术研...
  • 3个上海市教育委...
  • 3个上海市教育委...
  • 3个四川省科技计...
  • 2个河南省教育厅...
  • 2个河南省基础与...
  • 2个创新研究群体...
  • 2个国家教育部博...
  • 2个国家重点实验...
  • 2个河南省高等学...
  • 2个上海市教育委...
  • 2个中国科学院海...
  • 2个中国科学院西...
  • 1个广东省科技攻...
  • 1个河南省科技攻...

传媒

  • 5个系统科学与数...
  • 4个数学学报（中...
  • 4个计算机学报
  • 3个中国科学（A...
  • 3个数学的实践与...
  • 3个控制理论与应...
  • 3个四川大学学报...
  • 3个软件学报
  • 3个中国科学（E...
  • 3个计算机科学
  • 3个智能系统学报
  • 3个中国科学：数...
  • 3个中国科学：信...
  • 2个电机与控制学...
  • 2个科学通报
  • 2个中国矿业大学...
  • 2个上海交通大学...
  • 2个计算机应用
  • 2个计算机应用研...
  • 2个信息与控制

地区

  • 4个四川省
  • 2个北京市
  • 1个河南省
  • 1个上海市
  • 1个重庆市
共 9 条 记 录，以下是 1-9
姚勇
供职机构：中国科学院成都计算机应用研究所
研究主题：不等式 多项式 机器证明 终止性 随机矩阵
发表作品相关人物供职机构所获资助研究领域
徐嘉
供职机构：西南民族大学计算机科学与技术学院
研究主题：机器证明 定理 代数系统 根式不等式 有理化
发表作品相关人物供职机构所获资助研究领域
杨路
供职机构：中国科学院成都计算机应用研究所
研究主题：机器证明 多项式 结式 几何定理 差分代换
发表作品相关人物供职机构所获资助研究领域
陈胜利
供职机构：华东师范大学软件学院上海市高可信计算重点实验室
研究主题：对称型 不等式 可读证明 代数不等式 机器证明
发表作品相关人物供职机构所获资助研究领域
朱颢东
供职机构：郑州轻工业学院
研究主题：属性约简 文本分类 文档 粗糙集 遗传算法
发表作品相关人物供职机构所获资助研究领域
袁如意
供职机构：中国科学院自动化研究所
研究主题：三角翼 大包 无人机 前轮 起降
发表作品相关人物供职机构所获资助研究领域
张韬
供职机构：中国科学院成都计算机应用研究所
研究主题：粗糙集 词频 文档 属性约简
发表作品相关人物供职机构所获资助研究领域
郁文生
供职机构：北京邮电大学电子工程学院
研究主题：机器证明 严格正实 N 数据仓库 鲁棒性分析
发表作品相关人物供职机构所获资助研究领域
冯勇
供职机构：中国科学院重庆绿色智能技术研究院
研究主题：同态加密 终止性 变元 结式 安全多方计算
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0