Titulo
Formalización de razonamiento con geometrix
Autor(es)
Martín Eduardo Acosta Gempeler
Titulo del Libro
Memorias 21° Encuentro de Geometría y sus Aplicaciones
Pais
Colombia
Evento
21° Encuentro de Geometría y sus Aplicaciones
Editorial
Universidad Pedagógica Nacional
ISSN
2346-0539
Paginas
53-54
Año
2013
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.