王定康
作品数: 2被引量:5H指数:1
  • 所属机构:中国科学院数学与系统科学研究院数学机械化重点实验室
  • 研究方向:理学
  • 发文基金:国家自然科学基金

相关作者

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