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”, I+T+C Investig. Tecnol. Cienc., vol. 1, no. 2, pp. 15–22, Dec. 2008.