位置：成果数据库 > 期刊 > 期刊详情页
An efficient method for computing comprehensive Groebner bases
  • ISSN号：0747-7171
  • 期刊名称：Journal of Symbolic Computation
  • 时间：0
  • 页码：-
  • 相关项目：参数多项式方程组求解及其在机器证明中的应用
作者： Deepak Kapur|Yao Sun|Dingkang Wang|
同期刊论文项目
参数多项式方程组求解及其在机器证明中的应用
期刊论文 12 会议论文 5
同项目期刊论文
On computing Grobner bases in rings of differential operators
An efficient algorithm for computing a comprehensive Groebner system of a parametric polynomial syst
The F5 algorithm in buchberger's style
Computing polynomial univariate representations of zero-dimensional ideals by Grobner basis