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…

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…

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 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…

The study focused on how university students constructed proof of the Fundamental Theorem of Calculus (FTC) starting from their argumentations with dynamic mathematics software in collaborative technology-enhanced learning environment. The participants of the study were 36 university students. The data consisted of participants' written…

This paper presents research into closed orbits parallel to quadrilaterals inscribed in various geometric shapes that can be represented by mathematical functions: straight lines, circles, ellipses, parabolas, and hyperbolas. Mathematical proofs have been given for the existence of an infinite number of parallel orbits for each of these shapes.…

The current study, aimed to examine the development of flexibility and strategy use through instructional sequence encouraging the preservice middle school mathematics teachers' geometric thinking and problem-solving performance on dynamic geometry environment. Mixed-method research design was used in the study. The study was conducted with 46…