Computing Semi-algebraic Invariants for Polynomial Dynamical Systems

Jiang Liu, Naijun Zhan, Hengjun Zhao

In this paper, we consider an extended concept of invariant for polynomial dynamical system (PDS) with domain and initial condition, and establish a sound and complete criterion fo…