L. Vasquez seisdedos, M. A. . Borges Trenard, M. Fabars-Zamora, and A. . sala piqueras, “Calculo Simbólico: una Herramienta para la Experimentación Automatizada con Modelos Matemáticos”, Revista I+T+C, vol. 1, no. 2, pp. 15–22, Dec. 2008.