ModelingToolkit
DynamicPolynomials
