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…

This work is the result of a master's investigation in Brazil, which discusses the teaching of the parabola in the initial training of mathematics teachers. Our theoretical framework addresses the relationship between intuition and the dialectics of the theory of didactic situations, which supports the analysis of the results of this study Its…

The purpose of this study is to examine the performances of university students' using dynamic mathematics software GeoGebra in argumentations and proving processes. A task related to the limit involving "sinx/x" was designed and 18 university students worked on the task during the collaborative learning, scientific debate, and…

Mathematical proof, often regarded as the heart of mathematics, is essential for interconnected mathematical knowledge. However, proof-writing skills do not develop inherently. Effective learning environments are vital for university students to enhance these skills. This study investigates the impact of the ISMAT model on pre-service teachers'…

We present an investigation of the infinite sequences of numbers formed by calculating the pairwise averages of three given numbers. The problem has an interesting geometric interpretation related to the sequence of triangles with equal perimeters which tend to an equilateral triangle. Investigative activities of the problem are carried out in…

The problem in this study is to evaluate the improvement of students' geometry skills using the GeoGebra application by focusing on two key indicators: logical thinking and drawing skills. This study employs both quantitative and qualitative methods. In the first stage, quantitative data were collected through pretests and posttests to measure…

Mathematical proofs play a paramount role in developing 21st-century skills, and the use of technology in mathematics learning has widely paved the way in the instruction of mathematical proofs. In mathematics education, GeoGebra has a significant role as a dynamic mathematics software in supporting students' learning process. This study aims to…

With the ever-evolving implementation of technology in the teaching and learning of geometry, the task of designing and/or finding suitable questions or problems that can facilitate and promote mathematical reasoning and accurately assess students' understanding of the subject matter can be a challenge. It is the aim of this article to share the…

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…

In this article special sequences involving the Butterfly theorem are defined. The Butterfly theorem states that if M is the midpoint of a chord PQ of a circle, then following some definite instructions, it is possible to get two other points X and Y on PQ, such that M is also the midpoint of the segment XY. The convergence investigation of those…

This study investigates the use of GeoGebra, a Dynamic Geometry Software (DGS) for math learning in Virtual Reality (VR) using head-mounted displays. We conducted a study with n = 20 middle school students receiving a mathematics tutoring intervention over time in a VR environment. Using theories of embodied cognition and playful mathematics, this…

This study examines how collective argumentation in the integration of the ACODESA method (collaborative learning, scientific debate and self-reflection) and GeoGebra can help students understand parametric equations. The participants of the study consist of 24 university students enrolled in a mathematics education programme at a state university…

The purpose of this study was to examine how pre-service mathematics teachers (PMTs) integrated a dynamic geometry environment (DGE) into their reasoning process while solving geometric locus problems. Task-based interviews based on the locus problems were conducted with eight PMTs working in pairs. The PMTs could use a computer with access to…

From mathematics education, a great variety of studies have focused on analyzing the presence of digital technology from different points of view. Those who work with proof and argumentation have resisted presenting results with a technological component, due to the idea of formality associated with those terms, which has increased the existing…