Automated Theorem Proving in GeoGebra: Current Achievements.

Martes 7 de abril de 2015

En el mes de Marzo de 2015 ha aparecido una revista llamada "Journal of Automated Reasoning".

JPEG - 9.2 KB

En esta web podemos encontrar un artículo llamado "Automated Theorem Proving in GeoGebra: Current Achievements", en el que se nos explica que el propósito de la revista es explicar los esfuerzos que se están haciendo para que GeoGebra haga demostraciones geométricas automáticas. En esta revista se nos ponen ejemplos del funcionamiento de estas nuevas herramientas.

Este artículo está firmado por los profesores:

Francisco Botana (Universidad de Vigo), Markus Hohenwarter, Predrag Janičić, Zoltán Kovács, Ivan Petrović, Tomás Recio (Universidad de Cantabria), Simon Weitzhofer.

Aunque la revista no es gratuita, nos parece interesante contar su existencia para aquellos que quieran profundizar más en el manejo de GeoGebra. La revista se puede adquirir en este enlace.