TY - RPRT TI - Computing Semi-algebraic Invariants for Polynomial Dynamical Systems AU - Jiang Liu AU - Naijun Zhan AU - Hengjun Zhao PY - 2011 UR - https://arxiv.org/abs/1102.0705 ID - 1102.0705 ER -