您的位置: 专家智库 > >

姚勇

作品数:23 被引量:59H指数:5
供职机构:中国科学院成都计算机应用研究所更多>>
发文基金:国家重点基础研究发展计划国家自然科学基金中国科学院知识创新工程重要方向项目更多>>
相关领域:理学自动化与计算机技术电子电信机械工程更多>>

领域

  • 9个理学
  • 7个自动化与计算...
  • 6个文化科学
  • 3个机械工程
  • 3个电子电信
  • 2个经济管理
  • 2个哲学宗教
  • 2个建筑科学
  • 2个一般工业技术
  • 2个历史地理
  • 2个自然科学总论
  • 1个生物学
  • 1个天文地球
  • 1个石油与天然气...
  • 1个电气工程
  • 1个水利工程
  • 1个轻工技术与工...
  • 1个航空宇航科学...
  • 1个环境科学与工...
  • 1个医药卫生

主题

  • 7个等式
  • 7个多项式
  • 6个代数
  • 6个迭代
  • 6个英文
  • 5个数学
  • 4个代数数
  • 3个代数方程
  • 3个代数系
  • 3个代数系统
  • 3个单形
  • 3个导数
  • 3个定理
  • 3个对称函数
  • 3个平均不等式
  • 2个代数方程组
  • 2个点集
  • 2个迭代算法
  • 2个多项式方程
  • 2个多项式系统

机构

  • 7个中国科学院成...
  • 3个电子科技大学
  • 3个中国科学院
  • 3个中国科学院研...
  • 3个中国科学院重...
  • 2个广州大学
  • 2个华东师范大学
  • 2个成都大学
  • 2个西南财经大学
  • 1个华中师范大学
  • 1个广州师范学院
  • 1个四川大学
  • 1个浙江师范大学
  • 1个西南民族大学
  • 1个永嘉县上塘中...
  • 1个教育部教育信...
  • 1个中国科学院大...

资助

  • 8个国家自然科学...
  • 7个国家重点基础...
  • 6个中国科学院知...
  • 5个中国科学院知...
  • 4个国家高技术研...
  • 3个上海市教育委...
  • 3个中国科学院西...
  • 2个国家教育部博...
  • 2个四川省教育厅...
  • 2个四川省科技计...
  • 2个中央高校基本...
  • 2个重庆市自然科...
  • 2个重庆市教委科...
  • 1个国家科技支撑...
  • 1个河南省教育厅...
  • 1个河南省科技攻...
  • 1个湖北省自然科...
  • 1个教育部留学回...
  • 1个美国国家科学...
  • 1个上海市自然科...

传媒

  • 6个系统科学与数...
  • 5个数学学报(中...
  • 5个四川大学学报...
  • 4个计算机学报
  • 4个四川大学学报...
  • 3个中国科学(A...
  • 3个数学的实践与...
  • 3个计算机应用
  • 3个中国科学(E...
  • 3个西南民族大学...
  • 2个科学通报
  • 2个物理学报
  • 2个数学进展
  • 2个科技导报
  • 2个自然杂志
  • 2个计算机应用研...
  • 2个计算机工程与...
  • 2个Journa...
  • 2个高等数学研究
  • 2个四川师范大学...

地区

  • 6个四川省
  • 1个北京市
  • 1个上海市
  • 1个重庆市
9 条 记 录,以下是 1-9
徐嘉
供职机构:西南民族大学计算机科学与技术学院
研究主题:机器证明 定理 代数系统 根式不等式 有理化
发表作品相关人物供职机构所获资助研究领域
王挽澜
供职机构:成都大学信息科学与技术学院
研究主题:不等式 英文 加细 著名不等式 降维方法
发表作品相关人物供职机构所获资助研究领域
冯勇
供职机构:中国科学院重庆绿色智能技术研究院
研究主题:同态加密 终止性 变元 结式 多项式
发表作品相关人物供职机构所获资助研究领域
陈胜利
供职机构:华东师范大学软件学院上海市高可信计算重点实验室
研究主题:对称型 不等式 可读证明 代数不等式 机器证明
发表作品相关人物供职机构所获资助研究领域
杨路
供职机构:中国科学院成都计算机应用研究所
研究主题:机器证明 多项式 结式 几何定理 差分代换
发表作品相关人物供职机构所获资助研究领域
罗钊
供职机构:成都大学图书馆
研究主题:不等式 幂平均 单形 几何不等式 正定矩阵
发表作品相关人物供职机构所获资助研究领域
宗芳
供职机构:中国科学院成都计算机应用研究所
研究主题:正性 正定性
发表作品相关人物供职机构所获资助研究领域
张景中
供职机构:中国科学院
研究主题:数学 数学家 数学教学 微积分 超级画板
发表作品相关人物供职机构所获资助研究领域
秦小林
供职机构:中国科学院成都计算机应用研究所
研究主题:航迹规划 滚动时域控制 多无人机 可解释性 粒子群优化
发表作品相关人物供职机构所获资助研究领域
共1页<1>
聚类工具0