数学院数学机械化重点实验室（中文）

“国家自然科学基金面上”项目“基于签名的Groebner基算法及其应用”

副标题：

时间：2014-06-23 来源：数学机械化重点实验室

项目负责人：王定康

项目执行时间：2014.01-2017.12

经费来源：国家自然科学基金

相关附件

相关文档