二元多项式正定性的自动判定

AUTOMATED DETERMINATION ON POSITIVE DEFINITENESS OF BINARY POLYNOMIALS

本文给出判定二元多项式性态（正定，负定，正半定，负半定或不定）的一种自动化方法，其有效性已在计算机实现中得到验证。

This paper gives an automated method for determining the property (positive definite, negative definite, positive semi-definite, negative semi-definite or indefinite) of a binary polynomial, and its efficiency is demonstrated by computer implementation.