您的位置： 专家智库 > >

中国科学院知识创新工程(KJCX-YW-S02)

作品数：1 被引量：0H指数：0
相关作者：黄方剑陈胜利更多>>
相关机构：电子科技大学中国科学院成都计算机应用研究所更多>>
发文基金：中国科学院知识创新工程更多>>
相关领域：理学更多>>

领域

  • 2个理学
  • 1个自动化与计算...

主题

  • 2个代数
  • 2个等式
  • 2个等式证明
  • 2个对称型
  • 2个多项式
  • 2个正定性
  • 2个可读证明
  • 2个半正定性
  • 2个不等式
  • 2个不等式证明
  • 1个代数不等式
  • 1个代数几何
  • 1个代数几何学
  • 1个电机
  • 1个对称多项式
  • 1个对称核
  • 1个多项式方程
  • 1个多项式方程组
  • 1个引擎
  • 1个知识图

机构

  • 2个中国科学院成...
  • 1个电子科技大学
  • 1个华东师范大学

资助

  • 2个国家重点基础...
  • 2个国家自然科学...
  • 2个中国科学院知...
  • 1个上海市自然科...
  • 1个国家教育部博...
  • 1个上海市教育委...
  • 1个上海市教育委...
  • 1个中国科学院知...
  • 1个青年科技基金

传媒

  • 2个数学学报（中...
  • 2个系统科学与数...
  • 1个科学技术与工...
  • 1个中国学术期刊...

地区

  • 1个上海市
  • 1个四川省
共 2 条 记 录，以下是 1-2
陈胜利
供职机构：华东师范大学软件学院上海市高可信计算重点实验室
研究主题：对称型 不等式 可读证明 代数不等式 机器证明
发表作品相关人物供职机构所获资助研究领域
黄方剑
供职机构：电子科技大学
研究主题：关系数据库 知识图谱 可读证明 参数曲面 分数阶
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0