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