Semi-Annual Status Report for NASA Grant NAG2-513 The Symbolic Computation and Automated Analysis of Trajectories