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…

In this paper, we explore how the typical second year undergraduate topic of matrix diagonalisation can be applied to solve a geometric problem which arises frequently in Vector Calculus: to find the curve of intersection of a plane and a surface. We use GeoGebra, which offers a cost-free and dynamic interface, to explore a specific variant of…

Jordan canonical form (JCF) is one of the most important, and useful, concepts in linear algebra. Mathematics, physics, biology, science and engineering undergraduates often find the first application of real JCF in the discipline of differential equations (continuous models) to solving systems of differential equations. In this work, we apply…

I explore some facts about the area, position, etc. of the Steiner ellipse using GeoGebra and numerical analysis. Students can use these for mathematical inquiry.

This study investigates the impact of GeoGebra, a dynamic, accessible, and easy-to-use mathematics software, on student confidence and perceptions of its helpfulness in the context of Calculus III courses. A quasi-experimental design was employed to compare four sections of Calculus III, with two sections integrating GeoGebra for in-class…

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…

This study examines a Technology, Pedagogy, Content Knowledge (TPACK) training framework for pre- and in-service mathematics teachers that enables them to experience inquiry-based learning as learners in a dynamic geometry environment that serves as a mathematics laboratory. We investigate the effect of this experience on the teachers' TPACK,…

Graphical analysis of the relationships between pairs of integrals and their corresponding derivatives resulted in the development of a procedure one may describe as 'pictorial integration'. The arctangent of the derivative of various functions was analysed to confirm that this accurately reports the magnitude of angles made by integral functions…

This article describes an instructional sequence used with inservice secondary mathematics teachers as part of a graduate course. The instructional sequence focused on designing tasks using Interactive Geometry Software (IGS). This study answers a call for replication studies to investigate the use of an established instructional sequence. Results…

In Spring 2020, the need for redesigning online assessments to preserve integrity became a priority to many educators. Many of us found methods to proctor examinations using Zoom and proctoring software. Such examinations pose their own issues. To reduce the technical difficulties and cost, many Zoom proctored examination sessions were shortened;…

Differential equations are widely used tools for modelling the world around us, making a course in differential equations a natural place for students to connect concrete mathematical applications to abstract concepts. Since students grasp the concepts better by applying them, introducing differential equations through modelling becomes essential.…

In this paper we studied the personal mathematical work of 14 students in initial teacher training, in their first year of studies at a public university in Chile, based on two tasks on complex numbers. These tasks were set in a Computer Aided Assessment System (CAA) based on Moodle and Wiris and it was proposed to solve them using different…

Generalization is considered to be an essential part of mathematical reasoning and proving, and it has many definitions in mathematics education research. Despite its centrality, teachers often have difficulty identifying and responding to generalization in students' work. In this study, we focus on preservice teacher's (PTs) ability to describe…

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 paper provides some insights into the use of example-generating tasks in the design of a technology-rich learning environment to enhance students' mathematical thinking. The paper reports on an early stage of a design-based research project concerning the design of tasks and associated feedback utilising the affordances provided by a combined…