Symbolic integration of dynamical systems by collocation methods | IEEE Conference Publication | IEEE Xplore