GeoGebra Discovery at EGMO 2022
DOI:
https://doi.org/10.23925/2237-9657.2022.v11i2p005-016Palabras clave:
GeoGebra, Prueba Automática, Geometría Euclidiana, Juegos Olímpicos, EGMOResumen
Este estudio mostrará la capacidad (o incapacidad) de GeoGebra Discovery para hacer frente a los problemas de geometría euclidiana propuestos en la reciente Olimpiada Matemática Europea de Niñas (Hungría, 6-12 de abril de 2022). Después de una breve introducción al contexto de esta Olimpiada y al programa GeoGebra Discovery, se describirán los problemas y se intentará resolverlos con GeoGebra Discovery, señalando finalmente la relación entre las dificultades encontradas por los miembros del equipo y por GeoGebra, lo que puede contribuir al establecimiento de criterios sobre el interés (y la complejidad) de los resultados obtenidos automáticamente.
Citas
Bak, P. (2020): Automated generation of planar geometry Olympiad problems. Master Thesis. Pavol Josef Šafárik University in Košice.
Espinoza, J.; Lupiáñez, J.L.; Segovia, I. (2022): A Study of the Complexity of Problems Posed by Talented Students in Mathematics. Mathematics,10,1841. https:// doi.org/10.3390/math10111841
European Girls’ Mathematical Olympiad. [EGMO] (April 26, 2022). https://www.egmo.org
European Girls’ Mathematical Olympiad 2022. [EGMO2022] (April 26, 2022). https://www.egmo.org/egmos/egmo11/
Gao, H.; Li, J.; Cheng J.: (2019): Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic. In: 2019 IEEE International Conference on Energy Internet (ICEI), pp. 356–361, doi:10.1109/ICEI.2019.00069.
Hanna, G.; Yan, X. (2021): Opening a discussion on teaching proof with automated theorem provers. For the Learning of Mathematics 41(3):42--46.
Kovács, Z.: GeoGebra Discovery. A GitHub project. (April 26, 2022). https://github.com/kovzol/geogebra-discovery.
Problems: European Girls’ Mathematical Olympiad 2022, [Problems:EGMO2022], 2022). https://www.egmo.org/egmos/egmo11/solutions.pdf
Quaresma, P.; Santos, V.; Graziani, P.; Baeta, N. (2020): Taxonomy of geometric problems. Journal of Symbolic Computation 97, 31–55.
Quaresma, P.; Santos, V. (2022): Four Geometry Problems to Introduce Automated Deduction in Secondary Schools. In: J. Marcos, W. Neuper and P. Quaresma (Eds.): Theorem Proving Components for Educational Software 2021 (ThEdu’21): EPTCS 354, 2022, pp. 27-42, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ThEdu21.3
Real Sociedad Matemática Española. Comisión de Olimpiadas. [RSME], (April 26, 2022). https://www.rsme.es/la-sociedad/organizacion-interna/comisiones-comites-y-grupos/comision-de-olimpiadas/
Real Sociedad Matemática Española: European Girls’ Mathematical Olympiad. [RSME-EGMO], (April 26, 2022). https://www.rsme.es/european-girls-mathematical-olympiad/
Recio, T.; Van Vaerenbergh, S.; Vélez, M. P. (2020). Herramientas de Razonamiento Automático en GeoGebra: qué son y para qué sirven. Unión, Revista Iberoamericana de Educación Matemática. Año XVI - Número 59. Agosto 2020, páginas 08-15. https://union.fespm.es/index.php/UNION/article/view/202
Santos, V.; Baeta, N.; Quaresma, P. (2019): Geometrography in Dynamic Geometry. The International Journal for Technology in Mathematics Education, vol. 26, no. 2, June 2019, pp. 89—96.
Spanish Team. European Girls’ Mathematical Olympiad 2022. [Spanish Team:EGMO2022] (April 26, 2022). https://www.egmo.org/egmos/egmo11/countries/country45/
Descargas
Publicado
Cómo citar
Número
Sección
Licencia
Derechos de autor 2022 Revista do Instituto GeoGebra Internacional de São Paulo. ISSN 2237-9657
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.
No se cobrarán tasas de envío, procesamiento y publicación de los trabajos enviados a la revista, ni el registro del DOI en la Crossref.
Los autores mantienen sus derechos de autor y conceden a la revista el derecho a la primera publicación del trabajo, simultáneamente licenciada bajo una licencia Creative Commons - Atribución 4.0 Licencia Internacional CC BY, que permite que otros compartan el trabajo con un reconocimiento de la autoría del mismo y publicación inicial en esta revista.
La revista GeoGebra incentiva a que sus autores registren sus trabajos en sistemas orientados a la gestión de información y comunicación de investigadores, tales como Academia.edu, Mendeley, ResearchGate etc.
10.23925
