@article{11162/75637, year = {2001}, url = {http://hdl.handle.net/11162/75637}, abstract = {Se describe un módulo añadido a un programa de geometría dinámica capaz ya no de demostrar teoremas en geometría, si no de descubrirlos. Este descubrimiento se hace de modo gráfico, el usuario tiene que explorar una situación geométrica y observar que alguna propiedad se hace verdadera.}, booktitle = {Revista galega do ensino. 2001, n. 33, noviembre ; p. 79-89}, keywords = {geometría}, keywords = {gráficos por ordenador}, keywords = {nuevas tecnologías}, title = {Unha interface gráfica para o descubrimento automático de teoremas en xeometría elemental}, author = {Botana Ferreiro, Francisco and Valcarce Gómez, José Luis}, }