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