Title: The analysis of control trajectories using symbolic and database computing
Subjects: Programming (Electronic computers)