Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems