The Sum of Squares Decomposition and Automated Production for a Class of Positive Semi-Definite Polynomials

• 一类半正定多项式的平方和分解及其表达式的自动生成