侯晓荣
作品数： 8被引量：45H指数：4
  • 所属机构:中国科学院成都计算机应用研究所
  • 所在地区:四川省 成都市
  • 研究方向:理学
  • 发文基金:国家自然科学基金

相关作者

杨路
作品数：29被引量：242H指数：11
供职机构：中国科学院成都计算机应用研究所
研究主题：机器证明 多项式 结式 几何定理 差分代换
张景中
作品数：370被引量：860H指数：16
供职机构：中国科学院
研究主题：数学 数学家 数学教学 微积分 超级画板
曾振柄
作品数：85被引量：309H指数：10
供职机构：上海大学理学院数学系
研究主题：可读证明 多项式 特征提取 数据挖掘 小波变换
严爱国
作品数：4被引量：1H指数：1
供职机构：中国科学院成都计算机应用研究所
研究主题：样本点 代数曲线 正定性 二元多项式 单片机
夏壁灿
作品数：11被引量：27H指数：3
供职机构：北京大学数学科学学院
研究主题：多项式 重数 机器证明 控制器设计 巧克力
作品列表