Algebra, coalgebra, and minimization in polynomial differential equations (Logical Methods in Computer Science, 2019)