Software for Dynamical Systems Theory