杨路
作品数： 30被引量：242H指数：11
  • 所属机构:中国科学院成都计算机应用研究所
  • 所在地区:四川省 成都市
  • 研究方向:理学
  • 发文基金:国家重点基础研究发展计划

相关作者

张景中
作品数：372被引量：876H指数：15
供职机构：中国科学院
研究主题：数学 数学家 数学教学 微积分 超级画板
曾振柄
作品数：88被引量：307H指数：10
供职机构：上海大学理学院数学系
研究主题：多项式 可读证明 数学机械化 特征提取 数据挖掘
侯晓荣
作品数：8被引量：45H指数：4
供职机构：中国科学院成都计算机应用研究所
研究主题：代数方程组 样本点 几何定理 结式 吴消元法
郁文生
作品数：78被引量：119H指数：7
供职机构：北京邮电大学电子工程学院
研究主题：机器证明 严格正实 N 数据仓库 鲁棒性分析
夏壁灿
作品数：11被引量：27H指数：3
供职机构：北京大学数学科学学院
研究主题：多项式 重数 机器证明 控制器设计 巧克力
作品列表