Liangyu Chen, Zhenbing Zeng. Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?. In Deepak Kapur, editor, Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers. Volume 5081 of Lecture Notes in Computer Science, pages 57-71, Springer, 2007. [doi]
Abstract is missing.