What is GeoGebra Discovery? An illustration: ¿Qué es GeoGebra Discovery? Una ilustración

 

Bewaard in:
Bibliografische gegevens
Auteurs: Mosquera López, Saulo, Gómez Noguera, Sergio
Formaat: artículo original
Status:Versión publicada
Publicatiedatum:2025
Omschrijving:GeoGebra is a dynamic mathematics software that, among other things, allows the construction of geometric objects, which can be manipulated by dragging and thus observing the changes that the construction undergoes and the relationships that remain constant in it. In recent years, an experimental version called GeoGebra Discovery has been incorporated into GeoGebra. This version consists of a collection of tools and commands that enable rigorous mathematical verification and the automatic discovery of propositions about geometric figures. In other words, GeoGebra Discovery is a version of GeoGebra that complements, improves and extends certain automatic reasoning tools that are in the standard version. The objective of this document is to describe some of these tools and illustrate their use with examples that allow the user to visualize and interpret plane geometry results obtained in the developed constructions.
Land:Portal de Revistas TEC
Instelling:Instituto Tecnológico de Costa Rica
Repositorio:Portal de Revistas TEC
Taal:Español
OAI Identifier:oai:ojs.pkp.sfu.ca:article/7981
Online toegang:https://revistas.tec.ac.cr/index.php/matematica/article/view/7981