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

 

Enregistré dans:
Détails bibliographiques
Auteurs: Mosquera López, Saulo, Gómez Noguera, Sergio
Format: artículo original
Statut:Versión publicada
Date de publication:2025
Description: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.
Pays:Portal de Revistas TEC
Institution:Instituto Tecnológico de Costa Rica
Repositorio:Portal de Revistas TEC
Langue:Español
OAI Identifier:oai:ojs.pkp.sfu.ca:article/7981
Accès en ligne:https://revistas.tec.ac.cr/index.php/matematica/article/view/7981