Tools for building symbolic representations of nonlinear systems and numerically integrating them