What is GeoGebra Discovery? An illustration: ¿Qué es GeoGebra Discovery? Una ilustración
Đã lưu trong:
| Nhiều tác giả: | , |
|---|---|
| Định dạng: | artículo original |
| Trạng thái: | Versión publicada |
| Ngày xuất bản: | 2025 |
| Miêu tả: | 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. |
| Quốc gia: | Portal de Revistas TEC |
| Tổ chức giáo dục: | Instituto Tecnológico de Costa Rica |
| Repositorio: | Portal de Revistas TEC |
| Ngôn ngữ: | Español |
| OAI Identifier: | oai:ojs.pkp.sfu.ca:article/7981 |
| Truy cập trực tuyến: | https://revistas.tec.ac.cr/index.php/matematica/article/view/7981 |