参数多项式方程和不等式的解决复杂性
摘要：参数多项式方程与多项式不等式的求解性质被广泛研究了。本报告主要关注参数稀疏多项式方程组在通用特化参数下生成的根零维理想的鉴别化。我们提出了一种确定性方法，通过简化为消元问题来计算最小的鉴别化种类。此外，我们证明了所计算的最小鉴别化种类的次数被$D:=(n+r)d^{(n+1)}$和我们的方法的复杂度是$\sigma^{mathcal{O}(1)}D^{mathcal{O}(n+s)}$。
作者：Guillaume Moroz (LIP6, INRIA Rocquencourt)
论文ID：cs/0606031
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2007-05-23