https://www.u-cursos.cl/ingenieria/2018/2/MA5503/1/datos_curso/
MA5503-1 Introducción a la Dinámica Simbólica