@misc{indiciaea7cd045ef97d, title = {Successive Difference Substitution Based on Column Stochastic Matrix and Mechanical Decision for Positive Semi-definite Forms}, author = {Yong Yao}, year = {2010}, url = {https://arxiv.org/abs/0904.4030}, note = {Source identifier: 0904.4030} }