位置：成果数据库 > 会议 > 会议详情页
An Algorithm for Transforming Regular Chain into Normal Chain
  • 所属机构名称：中国科学院数学与系统科学研究院
  • 会议名称：8th Asian Symposium on Computer Mathematics
  • 成果类型：会议
  • 相关项目：代数几何、数学机械化和非标准分析的交叉
作者： Li, Banghe|Wang, Dingkang|
同会议论文项目
代数几何、数学机械化和非标准分析的交叉
期刊论文 8 会议论文 3
同项目会议论文
A new algorithm for computing comprehensive Gr?bner systems
The implementation and Complexity Analysis of the Branch Groebner Bases Algorithm over Boolean Ring