(re)Descubrimiento automático del teorema de Simson y las generalizaciones de Steiner y Guzmán

Abstract

Descripción de un prototipo experimental de un programa de ordenador que une las capacidades de un entorno de geometría dinámica con las funcionalidades de un sistema de cálculo simbólico. Se trata de redescubrir el teorema de Simson por parte de un estudiante con conceptos geométricos básicos.