位置：成果数据库 > 会议 > 会议详情页
A Signature-Based Algorithm for Computing Groebner Bases in Solvable Polynomial Algebras
  • 所属机构名称：中国科学院数学与系统科学研究院
  • 会议名称：37th international symposium on symbolic and algebraic computation
  • 成果类型：会议
  • 相关项目：参数多项式方程组求解及其在机器证明中的应用
作者： Yao Sun|Dingkang Wang|Xiaodong Ma|Yang Zhang|
同会议论文项目
参数多项式方程组求解及其在机器证明中的应用
期刊论文 12 会议论文 5
同项目会议论文
Judging the Intersection of Convex Polygons by Bracket Method
A Generalized Criterion for Signature Related Grobner Basis Algorithms
Computing Comprehensive Groebner Systems and Comprehensive Groebner Bases Simultaneously
A New Algorithm for Computing Comprehensive Groebner Systems