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

Resumen basado en el de la publicaci??n

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.