TY - RPRT TI - A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms AU - Jingjun Han PY - 2012 UR - https://arxiv.org/abs/1207.7255 ID - 1207.7255 ER -