Stav dette: Final & interim reports for NASA grant NAG2-513 : the analysis of control trajectories using symbolic and database computing / Robert Grossman.