Text this: The symbolic computation and automated analysis of trajectories :