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.

Anexo

Datos

Titulo

Formalización de razonamiento con geometrix

Autor(es)

Martín Eduardo Acosta

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