Herramientas de razonamiento automático en geogebra: qué son y para qué sirven

Referencias

Chou, S. C. (1987). Mechanical geometry theorem proving. Kluwer Academic Publishers. Norwell, MA, USA. Botana, F., Hohenwarter, M., Janičić, P., Kovács Z., Petrović, I., Recio, T. and Weitzhofer, S. (2015). Automated theorem proving in GeoGebra: current achievements. Journal of Automated Reasoning, 5(1), 39-59. Botana, F., Kovács Z., Recio, T. and Vélez, M. P. (2020). Hacia un autómata geómetra. La Gaceta de la Real Sociedad Matemática Española, 23 (2). Hauer, B., Kovács, Z., Recio, T. y Vélez, M.P. (2018). Automated reasoning in elementary geometry: towards inquiry learning. Pädagogische Horizonte, 2(2), 27- 39. Hohenwarter, M., Kovács, Z. and Recio, T. (2019). Determinando propiedades geométricas simbólicamente con GeoGebra. Números, Revista de Didáctica de las Matemáticas, 100, 79-84. Hohenwarter, M., Kovács, Z. and Recio, T. (2019). Using GeoGebra Automated Reasoning Tools to explore geometric statements and conjectures. En: Hanna, G., de Villiers, M., Reid, D. (Eds.), Proof Technology in Mathematics Research and Teaching, Series: Mathematics Education in the Digital Era, 14, 215-236. Springer International Publishing. Howson, G. and Wilson, B. (1986). ICMI Study series: School mathematics in the 1990’s. Cambridge University Press. Kuwait. Kovács, Z. (2015a). Computer based conjectures and proofs. Ph.D. Dissertation. Johannes Kepler University, Linz. Kovács, Z. (2015b). The Relation Tool in GeoGebra 5. En: Botana, F., Quaresma, P. (Eds.), Proceedings of the 10th International Workshop on Automated Deduction in Geometry (ADG 2014), 9-11 July 2014, Lecture Notes in Artificial Intelligence 9201, 53-71. Springer. Kovács, Z., Recio, T., Richard, P.R. and Vélez, M.P. (2017). GeoGebra Automated Reasoning Tools: A Tutorial with Examples. En: Aldon, G. and Trgalova, J. (Eds.): Proceedings of the 13th International Conference on Technology in Mathematics Teaching, [en línea]. Recuperado el 27 de abril de 2020 de https://hal.archives- ouvertes.fr/hal-01632970 Kovács, Z., Recio, T. and Vélez, M.P. (2018). Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry. International Journal of Technology in Mathematics Education, 25(2), 33-50. Lin, F. L., Yang, K. L., Lee, K. H., Tabach, M. and Stylianides, G. (2012). Principles of task design for conjecturing and proving. En: Hanna, G., de Villiers, M. (Eds.), Proof and Proving in Mathematics Education. The 19th ICMI Study, 305-326. Springer. Recio, T., Richard, P. R. and Vélez, M. P. (2019). Designing Tasks Supported by GeoGebra Automated Reasoning Tools for the Development of Mathematical Skills. International Journal for Technology in Mathematics Education, 26(2), 81- 88. Recio, T. and Vélez, M. P. (1999). Automatic Discovery of Theorems in Elementary Geometry. Journal of Automated Reasoning, 23, 63-82. Sinclair, N., Bartolini, M.G., de Villiers, M. and Owens, K. (2016). Recent research on geometry education: ICME-13 survey team report. ZDM Mathematics Education, 48(5), 691-719.