您的位置： 专家智库 > >

陈胜利

作品数：7 被引量：31H指数：3
供职机构：华东师范大学软件学院上海市高可信计算重点实验室更多>>
发文基金：国家重点基础研究发展计划中国科学院知识创新工程重要方向项目国家自然科学基金更多>>
相关领域：理学更多>>

合作作者

领域

  • 4个自动化与计算...
  • 4个理学
  • 2个机械工程
  • 1个电子电信
  • 1个电气工程
  • 1个航空宇航科学...
  • 1个文化科学
  • 1个语言文字

主题

  • 4个代数
  • 4个等式
  • 4个对称型
  • 4个多项式
  • 3个代数不等式
  • 3个代数系
  • 3个代数系统
  • 2个单形
  • 2个等式证明
  • 2个点集
  • 2个定理
  • 2个对称不等式
  • 2个对称多项式
  • 2个对称函数
  • 2个对称核
  • 2个多项式方程
  • 2个多项式方程组
  • 2个有理化
  • 2个正则
  • 2个实零点

机构

  • 3个中国科学院成...
  • 1个电子科技大学
  • 1个华东师范大学
  • 1个中国科学院
  • 1个西南民族大学

资助

  • 4个国家重点基础...
  • 4个国家自然科学...
  • 3个中央高校基本...
  • 2个中国科学院知...
  • 2个中国科学院知...
  • 1个上海市自然科...
  • 1个浙江省自然科...
  • 1个博士科研启动...
  • 1个国家教育部博...
  • 1个上海市教育委...
  • 1个上海市教育委...
  • 1个四川省科技计...
  • 1个青年科技基金

传媒

  • 4个系统科学与数...
  • 3个数学学报（中...
  • 2个数学的实践与...
  • 2个计算机学报
  • 2个软件学报
  • 2个高等数学研究
  • 2个西南民族大学...
  • 2个中国科学：数...
  • 1个华东师范大学...
  • 1个电信科学
  • 1个安徽大学学报...
  • 1个电子学报
  • 1个中国科学（A...
  • 1个电力系统自动...
  • 1个计算机工程
  • 1个计算机应用
  • 1个四川大学学报...
  • 1个中等数学
  • 1个计算机辅助设...
  • 1个计算机工程与...

地区

  • 3个四川省
  • 1个上海市
共 4 条 记 录，以下是 1-4
姚勇
供职机构：中国科学院成都计算机应用研究所
研究主题：不等式 机器证明 终止性 多项式 随机矩阵
发表作品相关人物供职机构所获资助研究领域
黄方剑
供职机构：电子科技大学
研究主题：关系数据库 知识图谱 可读证明 架构系统 机电设备
发表作品相关人物供职机构所获资助研究领域
徐嘉
供职机构：西南民族大学计算机科学与技术学院
研究主题：机器证明 定理 代数系统 根式不等式 有理化
发表作品相关人物供职机构所获资助研究领域
陈良育
供职机构：华东师范大学
研究主题：高效节能 汉字构形 藏文字符识别 并行计算 作图法
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0