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

相关作者

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