TY  - JOUR 
AU  - Martín García, Lorenzo Javier
AU  - Velasco Mate, Juan Antonio
PY  - 2002
SN  - 1130-488X
UR  - http://hdl.handle.net/11162/13703
UR  - http://revistasuma.es/revistas/41-noviembre-2002/la-demostracion-y-los-sistemas-de.html
AB  - Se pretende demostrar como introducir los sistemas de calculo simbolico (SCS) en la realizacion de demostraciones y en general en la ensenanza de las matematicas. Para ello se desarrollan una serie de situaciones concretas utilizando el sistema de...
LA  - spa
KW  - calculo
KW  - demostracion
KW  - aplicacion informatica
KW  - matematicas
TI  - La demostracion y los sistemas de calculo simbolico
ER  -