A program named SDS is designed for polynomial inequality proving, in other words, for decision of nonnegativity of polynomials.

• 摘要设计了一个试探性的计算机程序SDS，用于证明多项式不等式，或等价地，用于判定多项式的非负性。