Estimating the Complexity Levels of a Geometric Statement

• Autores: Celina Aparecida Almeida Pereira Abar, Marcio Vieira de Almeida, Tomás Jesús Recio Muñiz
• Localización: Boletín de la Sociedad Puig Adam de profesores de matemáticas, ISSN 1135-0261, Nº. 121 (Abril), 2026, págs. 67-88
• Idioma: inglés
• Títulos paralelos:
  • Estimación de los Niveles de Complejidad de una Afirmación Geométrica
• Texto completo no disponible (Saber más ...)
• Resumen

  • We present the initial results of a recent experiment with Master students in Mathematics Education from the Pontifical Catholic University of Sao Paulo, comparing their intuitive perception of the complexity of a collection of elementary geometry statements and the complexity algorithmically assigned to the same theorems by the ShowProof command of GeoGebra Discovery. The contribution of two participants is analyzed in detail, showing some relevant coincidences between human/automated rankings, but also remarking the inconstant perception of complexity by humans.