Programming is becoming increasingly common in mathematics degrees as it is a desirable skill for new graduates. However, research shows that its use is mostly restricted to computational or modelling tasks. This paper reports a study on students' perceptions of and difficulties with Lean, an interactive theorem prover introduced as part of a…

The growing use of programming in mathematics classrooms presents a challenge linked to implementation in general and task design in particular. This article presents design ideas for mathematical problems incorporating programming in which the focus remains mainly on learning mathematics and less on learning programming. The article starts by…

Geometry processing holds a foundational position within the realm of computer graphics, with advancements in this field regularly published at SIGGRAPH annually. The journey from writing the paper to implementing the algorithms is a meticulous and error-prone process, demanding significant dedication and attention to detail. Authors frequently…

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…

Physical experiments in classrooms have many benefits for student learning, including increased student interest, participation and knowledge retention. While experiments are common in engineering and physics classes, they are seldom used in first-year calculus, where the focus is on solving problems analytically and, occasionally, numerically. In…

As has been the case in many countries around the world, the new Norwegian curriculum from 2020 included programming as part of mathematics education. However, little is known about how prospective teachers perceive this addition in regard to their developing professional identities. When the results from an electronic survey of 394 prospective…

The reasons for teaching programming in school are indeed manifold. Programming can for example be utilized as a vehicle for understanding and learning particular mathematical subject matter, or as a tool for solving mathematical problems. In this paper, however, we propose to utilize programming as a vehicle for developing mathematical…

In this paper we develop a case for introducing a new teaching tool to undergraduate mathematics. Lean is an interactive theorem prover that instantly checks the correctness of every step and provides immediate feedback. Teaching with Lean might present a challenge, in that students must write their proofs in a formal way using a specific syntax.…

Computational thinking (CT) is becoming increasingly important as a learning content. Subject-integrated approaches aim to develop CT within other subjects like mathematics. The question is how exactly CT can be integrated and learned in mathematics classrooms. In a case study involving 12 sixth-grade learners, CT activities were explored that…

As computational thinking (CT) is new to teachers, they need support on how CT integration will work. This study examines the use of a hypothetical learning trajectory (HLT) to support teachers in integrating computational thinking into mathematics lessons utilizing GeoGebra. By employing the educational design research (EDR) methodology, the…

The COVID-19 pandemic, like past historical events such as the Vietnam War or 9/11, will shape a generation. Mathematics educators can seize this unprecedented opportunity to teach the principles of mathematical modeling in epidemiology. Compartmental epidemiological models, such as the SIR (susceptible-infected-recovered), are widely used by…

In this paper, we introduce novel instructional approaches to engage students in using modelling with data to motivate and teach differential equations. Specifically, we introduce a pedagogical framework that will execute instructional modules to teach different solution techniques for differential equations through repositories and notebook…

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

There has been a renewed interest in creativity as a twenty-first century skill in K-12 mathematics education. However, previous research has paid less attention to creative actions than to other learning outcomes, which are often product- instead of process-based, especially in a programming context. Thus, situated in the context of mathematical…

The COVID-19 pandemic prompted a shift in K-12 educational delivery from primarily in-person classroom instruction to remote learning. Developing broadcast instruction is one way to provide learners who experience barriers to contemporary forms of remote learning, which are typically provided over the internet, a way to access quality mathematics…