Demostraciones geométricas automáticas en GeoGebra
Tipo de documento
Autores
Lista de autores
Ueno, Carlos
Resumen
En este artículo describimos algunos fundamentos sobre los que se basa la capacidad que tienen muchos programas actuales de software matemático para demostrar enunciados geométricos, y explicamos cómo hacer uso de este recurso en las últimas versiones de GeoGebra.
Fecha
2016
Tipo de fecha
Estado publicación
Términos clave
Enfoque
Nivel educativo
Educación media, bachillerato, secundaria superior (16 a 18 años) | Educación secundaria básica (12 a 16 años) | Educación superior, formación de pregrado, formación de grado
Idioma
Revisado por pares
Formato del archivo
Título libro actas
Editores (actas)
Afonso, Hugo | Bruno, Alicia | de-la-Coba, Dolores | Domínguez, Miguel | Duque, Yanira | García, Fátima | Noda, Mª Aurelia | Plasencia, Inés
Lista de editores (actas)
Afonso, Hugo, Bruno, Alicia, de la Coba, Dolores, Domínguez, Miguel, Duque, Yanira, García, Fátima, Noda, Mª Aurelia y Plasencia, Inés
Editorial (actas)
Lugar (actas)
Rango páginas (actas)
141-150
ISBN (actas)
Referencias
Botana, F., Hohenwarter, M. et al. (2015). Automated Theorem Proving in GeoGebra: Current Achievements. Journal of Automated Reasoning 55, 39–59. Elias, J. (2006). Automated Geometric Theorem Proving: Wu’s Method. The Montana Mathematics Enthusiast, 3(1), 3-50. Kovács Z, Recio, T. & Weitzhofer, S. (2012). Implementing theorem proving in GeoGebra by exact check of a statement in a bounded number of test cases. Libro de Resúmenes del XIII Encuentro de Álgebra Computacional y Aplicaciones: EACA2012, 123-126. Recio, T (2001). La mecánica de la demostración y la demostración mecánica. Presentación en X JAEM (Zaragoza, 7-9 de septiembre de 2001). Shang-Ching C. (1988). An Introduction to Wu's Method for Mechanical Theorem Proving in Geometry, Journal of Automated Reasoning 4, 237-267. Wu, W.T. (1994). Mechanical Theorem Proving in Geometries. Texts ans Monographs in Symbolic Computation, Springer-Verlag, Wien.
Proyectos
Cantidad de páginas
183