The development of solvers for Symbolic Computational Dynamics