-
王定康
-

-

- 所属机构:中国科学院数学与系统科学研究院数学机械化重点实验室
- 研究方向:理学
- 发文基金:国家自然科学基金
相关作者
- 孙瑶

- 作品数:1被引量:5H指数:1
- 供职机构:中国科学院数学与系统科学研究院数学机械化重点实验室
- 研究主题:布尔环 GR
- 李鹏

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

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