一类不等式的判定算法

The Determinative Algorithm for One Kind of Inequality

应用零点定理,斯图姆定理和单变元多项式正定性判定定理,讨论了不等式φ(x)>ψ(x)在两种不同的情况下的判定算法.

Using Zero theorem, Sturm theorem and determinative theorem of the positive of univariate polynomials, we put forward the determinative algorithm to auto-reason the inequality φ(x)>ψ(x) under the two different conditions.