TY  - RPRT
TI  - Successive Difference Substitution Based on Column Stochastic Matrix and Mechanical Decision for Positive Semi-definite Forms
AU  - Yong Yao
PY  - 2010
UR  - https://arxiv.org/abs/0904.4030
ID  - 0904.4030
ER  -