您的位置： 专家智库 > >

侯晓荣

作品数：8 被引量：45H指数：4
供职机构：中国科学院成都计算机应用研究所更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：理学一般工业技术更多>>

合作作者

领域

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

主题

  • 6个多项式
  • 5个代数
  • 4个数据库
  • 4个结式
  • 4个机器证明
  • 4个函数
  • 3个代数曲线
  • 3个等式
  • 3个定理
  • 3个样本点
  • 3个有理数
  • 2个代数方程
  • 2个代数方程组
  • 2个递归
  • 2个递归算法
  • 2个多项式方程
  • 2个有理数域
  • 2个正定性
  • 2个数域
  • 2个判定法

机构

  • 6个中国科学院成...
  • 2个广州大学
  • 2个华东师范大学
  • 2个中国科学院
  • 1个北京大学
  • 1个电子科技大学
  • 1个华中师范大学
  • 1个广州师范学院
  • 1个四川大学
  • 1个上海大学
  • 1个中国科学院研...
  • 1个中国科学院成...
  • 1个中国科学院上...
  • 1个中国科学院重...
  • 1个教育部教育信...
  • 1个中国科学院大...

资助

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

传媒

  • 5个计算机应用
  • 4个系统科学与数...
  • 4个四川大学学报...
  • 4个中国科学（E...
  • 3个科学通报
  • 3个数学学报（中...
  • 3个数学进展
  • 3个计算机学报
  • 2个计算机研究与...
  • 2个中国科学（A...
  • 2个应用数学学报
  • 2个计算机应用研...
  • 2个软件学报
  • 2个中国科学：数...
  • 2个中国科学：信...
  • 1个中国青年科技
  • 1个科学中国人
  • 1个大科技（科学...
  • 1个数学教育学报
  • 1个高中数学教与...

地区

  • 3个四川省
  • 2个北京市
  • 1个上海市
共 6 条 记 录，以下是 1-6
杨路
供职机构：中国科学院成都计算机应用研究所
研究主题：机器证明 多项式 结式 几何定理 差分代换
发表作品相关人物供职机构所获资助研究领域
张景中
供职机构：中国科学院
研究主题：数学 数学家 数学教学 微积分 超级画板
发表作品相关人物供职机构所获资助研究领域
曾振柄
供职机构：上海大学理学院数学系
研究主题：多项式 可读证明 数学机械化 特征提取 数据挖掘
发表作品相关人物供职机构所获资助研究领域
严爱国
供职机构：中国科学院成都计算机应用研究所
研究主题：样本点 代数曲线 正定性 二元多项式 单片机
发表作品相关人物供职机构所获资助研究领域
夏壁灿
供职机构：北京大学数学科学学院
研究主题：多项式 重数 机器证明 控制器设计 巧克力
发表作品相关人物供职机构所获资助研究领域
黄黎
供职机构：中国科学院成都计算机应用研究所
研究主题：代数曲线 正定性 样本点 GROBNER基 EJB
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0