Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems. - William Simmons; André Platzer (CoRR, 2023)