As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

Many areas of mathematics naturally lend themselves to machine-based computing environments, which suggests that computational environments may serve as useful mediating tools for the teaching and learning of mathematical content. While some mathematics classes are leveraging the use of computational tools, the implementation of computer…

The paper argues that there is a need for new approaches to teaching proof with newly-available technology. It contributes to filling this need by opening a discussion on digital proof assistants, programs that allow one to do mathematics with the aid of a computer, construct proofs, and check their correctness. The paper starts by exploring such…

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…

Logical statements are prevalent in mathematics, science and everyday life. The most common logical statements are conditionals, 'If H … , then C … ', where 'H' is a hypothesis and 'C' is a conclusion. Reasoning about conditionals depends on four main conditional contexts (intuitive, abstract, symbolic or counterintuitive). This study tested a…

Findings synthesized across five empirical laboratory- and classroom-based studies of high school and college students engaged in geometric reasoning and proof production during single- and multi-session investigations (346 participants overall) are presented. The findings converge on several design principles for computer technologies to support…

The paper deals with searching for synthetic solution supported by the means of dynamic geometry. It consists of two parts. The first one describes how software influences searching for synthetic solutions of geometric problems. The second one describes a small pilot experiment in which students of Faculty of Education solved two more difficult…

Dynamic geometry environment allows us to investigate geometric relationships and problems more efficiently than the pencil-and-paper method. Continuous variation of geometric configurations shows the relationship from different points of view. This paper aims to provide some indications of how a dynamic geometry environment, especially GeoGebra…

This study investigates the effectiveness of a teaching activity that aimed to convey the meaning of indeterminate forms to a group of undergraduate students who were enrolled in an elementary mathematics education programme. The study reports the implementation sequence of the activity and students' experiences in the classroom. To assess the…

This volume of the 27th International Group for the Psychology of Mathematics Education Conference includes the following research reports: (1) Improving Decimal Number Conception by Transfer from Fractions to Decimals (Irita Peled and Juhaina Awawdy Shahbari); (2) The Development of Student Teachers' Efficacy Beliefs in Mathematics during…

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…