Aproximación simbólica al descubrimiento automático de lugares geométricas en el plano

Resumen

La aproximación usual a la generación de lugares geométricos en el plano tomada en los programas de geometría dinámica es numérica. El arrastre de algún elemento en un diagrama y la taza de otro elemento dependiente del primero produce un lugar virtual. Una aproximación basada en métodos simbólicos, bien contrastados dentro del campo de la demostración automática, permite el descubrimiento de lugares geométricos en términos de sus ecuaciones y representaciones gráficas. Se describe un programa, lugares, que une un entorno de geometría dinámica con un sistema de cálculo simbólico para el descubrimiento automático de lugares en el plano.