@article{11162/13703,
year = {2002},
url = {http://hdl.handle.net/11162/13703},
url = {http://revistasuma.es/revistas/41-noviembre-2002/la-demostracion-y-los-sistemas-de.html},
abstract = {Se pretende demostrar cómo introducir los sistemas de cálculo simbólico (SCS) en la realización de demostraciones y en general en la enseñanza de las matemáticas. Para ello se desarrollan una serie de situaciones concretas utilizando el sistema de cálculo simbólico Maple 7 y se reflexiona entorno a los resultados obtenidos. Finalmente se plantea hasta qué punto se pueden aceptar las demostraciones obenidas con estas herramientas.},
booktitle = {Suma. 2002, n. 41, noviembre ; p. 11-18},
keywords = {cálculo},
keywords = {demostración},
keywords = {aplicación informática},
keywords = {matemáticas},
title = {La demostración y los sistemas de cálculo simbólico},
author = {Martín García, Lorenzo Javier and Velasco Mate, Juan Antonio},
}