Abstract: Este artículo tiene como objetivo ilustrar al lector, muy particularmente a los colegas de la comunidad matemática española, de la RSME, de la evolución de nuestro grupo de investigación y de su trabajo a lo largo de los últimos 30 años, en pos de la creación de un autómata geómetra.
Para ello, en las secciones siguientes se trazan unas pinceladas sobre la historia de las contribuciones del equipo de investigación creado en torno a los autores de este artículo, incluyendo, en particular, una descripción informal de los conceptos, problemas y métodos que fueron desarrollando. No pretende ser, no puede ser, una historia universal de la demostración automática de teoremas geométricos, pero creemos que el lector interesado encontrará datos relevantes a este respecto en las referencias que se incluyen a lo largo de este trabajo.
Finalmente se presenta el resultado más «visible» de nuestro trabajo, el autómata geómetra AG, a través de diversos ejemplos, concluyendo con unas someras reflexiones acerca de su potencial impacto en el mundo educativo.
Other publications of the same journal or congress with authors from the University of Cantabria
Fuente: La Gaceta de la RSME, Vol. 23 (2020), Núm. 2, Págs. 343-371
Publisher: Real Sociedad Matemática Española
Year of publication: 2020
No. of pages: 29
Publication type: Article
ISSN: 1138-8927
Publication Url: http://gaceta.rsme.es/abrir.php?id=1587