Implementar definiciones matemáticas mediante un lenguaje de programación funcional en un Sistema Algebraico Computacional, para la compresión de conceptos matemáticos involucrados y la solución.