In this paper, we investigate how a research mathematician conjectures and proves when conducting her research. To be precise, the aim of this study is to achieve a comprehensive understanding of the way this research mathematician develops these mathematical practices and thus gain insight to improve the teaching and learning of these two…

Access to body-based resources has been shown to augment cognitive processes, but not all movements equally aid reasoning. Interactive technologies, like dynamic geometry systems (DGS), potentially amplify the link between movement and geometric representation, thereby deepening students' understanding of geometric properties. This study…

The purpose of this paper is to follow the reasoning of high school students when asked to explain the standard trigonometric limit lim/[theta][right arrow] sin[theta]/[theta]. An observational study was conducted in four different phases in order to investigate if visualization, by means of an interactive technology environment (Geogebra), can…

This document introduces, describes and exemplifies the technical features of some recently implemented automated reasoning tools in the dynamic mathematics software GeoGebra. The new tools are based on symbolic computation algorithms, allowing the automatic and rigorous proving and discovery of theorems on constructed geometric figures. Some…

Our article aims to show how illuminating mathematical work as a concept from didactics of mathematics is useful in understanding issues relating to proving and learning of proof, with or without technology. After posing our hypotheses on the relationship of proof with mathematical work, the pedagogical intent of historical elements of geometry…

Stepwise program refinement techniques can be used to simplify program verification. Programs are better understood since their main properties are clearly stated, and verification of rather complex algorithms is reduced to proving simple statements connecting successive program specifications. Additionally, it is easy to analyse similar…

In teaching geometry, most instructors opt for direct demonstration with detailed explanations; however, under this kind of instruction students face considerable difficulties in the development of the reasoning skills required to deal with problems of a geometric nature. This study adopted a nonequivalent pretest-postest quasi-experimental design…

In this study, I present an analysis of high school geometry curricula regarding mathematical proof opportunities. I examined eight U.S. high school level geometry textbooks, which were categorized into three main groups: technology-intensive, standards-based, and traditional curricula. I conceptualized "ideal" proving activity combining…

The IADIS CELDA 2012 Conference intention was to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There had been advances in both cognitive psychology and computing that have affected the educational arena. The convergence of these two disciplines is increasing at a…