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…

An algebraic model uses a set of algebraic equations to describe a situation. Constructing such models is a fundamental skill, but many students still lack the skill, even after taking several algebra courses in high school and college. For such students, we developed instruction that taught students to decompose the to-be-modelled situation into…

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…

This paper reports on a novel corequisite design and implementation for College Algebra at Florida International University. The corequisite course uses online, just-in-time, prerequisite assignments delivered on an open-educational platform. Students get help from near-peer learning assistants inside a math emporium environment. The course…

While GeoGebra applets have been extensively investigated in learning environments, few studies have addressed the interactive GeoGebra applets in an e-book-based learning environment. This study aims to compare the effects of the e-book created with interactive GeoGebra applets on students' learning achievement and motivation. The sample of the…

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…

Background: Teachers must have the skills to find, select, design and use technology-based mathematical activities that focus on high-level cognitive demands--supporting student reasoning. However, they experience various difficulties in creating, planning and making decisions about how and when to utilize technological affordances. Objectives:…

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 aims to test the effectiveness of GeoGebra Augmented Reality in improving students' mathematical problem-solving skills. The method used is a quasi-experiment with a posttest-only control group design. The research population is students of the Mathematics Education Study Program at a private university in Indonesia, with a sample of 32…

This work is the result of a pre-experiment carried out as part of a master's course, dealing with the study of the parabola through different mathematical views. It aims to recognize possible didactic obstacles in its teaching, based on intuitive manifestations in the resolution of a didactic situation based on GeoGebra software. The methodology…

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…

This paper presents a semester-long bottle design project for an undergraduate Numerical Analysis course. Students implement numerical methods in MATLAB to design and 3D print a bottle. Employing mathematical methods to compute features of their designs enhances students' understanding of numerical techniques in design applications. Student…