Unha interface gráfica para o descubrimento automático de teoremas en xeometría elemental. 'Una interfaz gráfica para el descubrimiento automático de teoremas en geometría elemental'.
| Data(s) |
17/05/2013
17/05/2013
2001
01/05/1990
|
|---|---|
| Resumo |
Resumen basado en el del autor 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. |
| Identificador |
p.88-89 http://hdl.handle.net/11162/75637 EC R-1607 |
| Idioma(s) |
glg |
| Relação |
Revista galega do ensino. Santiago de Compostela, 2001, n. 33, noviembre ; p. 79-89 |
| Direitos |
Cuando no se especifique otra condición, los documentos incorporados a Redined a texto completo, se hallan bajo las condiciones de uso de sólo lectura y únicamente podrán ser citados con reconocimiento del autor(es). Para cualquier otro uso, deberá solicitarse el permiso del autor (es) |
| Palavras-Chave | #geometría #gráficos por ordenador #nuevas tecnologías |
| Tipo |
Artículo de revista |
