{rfName}
To

Indexed in

License and use

Citations

2

Altmetrics

Analysis of institutional authors

Abanades, MAuthor

Share

September 27, 2022
Publications
>
Proceedings Paper
No

Towards the Automatic Discovery of Theorems in GeoGebra

Publicated to:Lecture Notes In Computer Science. 9725 37-42 - 2016-01-01 9725(), DOI: 10.1007/978-3-319-42432-3_5

Authors: Abánades, M; Botana, F; Kovács, Z; Recio, T; Sólyom-Gecse, C

Affiliations

Diocese Linz, Private Univ Coll Educ, Linz, Austria - Author
Univ Babes Bolyai, Cluj Napoca, Romania - Author
Univ Cantabria, Santander, Spain - Author
Univ Rey Juan Carlos, Mostoles, Spain - Author
Univ Vigo, Vigo, Spain - Author
See more

Abstract

Considerable attention and efforts have been given to the implementation of automatic reasoning tools in interactive geometric environments. Nevertheless, the main goal in such works focused on theorem proving, cf. Java Geometry Expert or GeoGebra. A related issue, automatic discovery, remains almost unexplored in the field of dynamic geometry software. This extended abstract sketches our initial results towards the incorporation into GeoGebra, a worldwide spread software with tenths of millions of users, of automatic discovery abilities. As a first result, currently available in the official version, we report on a new command allowing the automatic discovery of loci of points in diagrams. Besides the standard mover-tracer locus finding, the approach also deals with loci constrained by implicit conditions. Hence, our proposal successfully automates a kind of bound dragging in dynamic geometry, the 'dummy locus dragging'. In this way, the cycle of conjecturing-checking-proving will be accessible for general learners in elementary geometry.

Keywords

Automatic discoveryAutomatic reasoningComputation theoryComputational algebraic geometryComputational geometryDynamic geometryDynamic geometry softwaresElementary geometryExtended abstractsGeogebraGeometry

Quality index

Bibliometric impact. Analysis of the contribution and dissemination channel

From a relative perspective, and based on the normalized impact indicator calculated from the Field Citation Ratio (FCR) of the Dimensions source, it yields a value of: 1.1, which indicates that, compared to works in the same discipline and in the same year of publication, it ranks as a work cited above average. (source consulted: Dimensions Sep 2025)

Specifically, and according to different indexing agencies, this work has accumulated citations as of 2025-09-07, the following number of citations:

  • WoS: 1
  • Scopus: 1

Impact and social visibility

From the perspective of influence or social adoption, and based on metrics associated with mentions and interactions provided by agencies specializing in calculating the so-called "Alternative or Social Metrics," we can highlight as of 2025-09-07:

  • The use of this contribution in bookmarks, code forks, additions to favorite lists for recurrent reading, as well as general views, indicates that someone is using the publication as a basis for their current work. This may be a notable indicator of future more formal and academic citations. This claim is supported by the result of the "Capture" indicator, which yields a total of: 5 (PlumX).

Leadership analysis of institutional authors

This work has been carried out with international collaboration, specifically with researchers from: Austria; Oman.

There is a significant leadership presence as some of the institution’s authors appear as the first or last signer, detailed as follows: First Author (Abánades Astudillo, Miguel Ángel) .