Formalización de razonamiento con geometrix

En este cursillo trabajaremos una propuesta de utilización del software Geometrix como asistente para la construcción de demostraciones formales a partir de problemas de construcción.

Datos
Titulo: 
Formalización de razonamiento con geometrix
Autor(es): 
Martín Eduardo Acosta Gempeler
Pais: 
Colombia
Evento: 
21° Encuentro de Geometría y sus Aplicaciones
Libro: 
Memorias 21° Encuentro de Geometría y sus Aplicaciones
Editorial: 
Universidad Pedagógica Nacional
Paginas: 
53-54
Año: 
2013