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