TY  - JOUR 
AU  - Botana Ferreiro, Francisco
AU  - Valcarce Gómez, José Luis
PY  - 2001
UR  - http://hdl.handle.net/11162/75637
AB  - Se describe un modulo anadido a un programa de geometria dinamica capaz ya no de demostrar teoremas en geometria, si no de descubrirlos. Este descubrimiento se hace de modo grafico, el usuario tiene que explorar una situacion geometrica y observar que...
LA  - glg
KW  - geometria
KW  - graficos por ordenador
KW  - nuevas tecnologias
TI  - Unha interface grafica para o descubrimento automatico de teoremas en xeometria elemental
ER  -