陈雪峰
作品数: 1被引量:0H指数:0
  • 所属机构:中国科学院数学与系统科学研究院数学机械化重点实验室
  • 研究方向:理学
  • 发文基金:国家重点基础研究发展计划

相关作者

李鹏
作品数:1被引量:0H指数:0
供职机构:中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题:GROEBNER基 GR 多项式理想 终止性
王定康
作品数:2被引量:5H指数:1
供职机构:中国科学院数学与系统科学研究院数学机械化重点实验室
研究主题:GR 布尔环 GROEBNER基 多项式理想 终止性