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…

The study examines the levels of understanding logarithmic expressions within the frames of a mathematical card game. The game is based on the popular card game Saboteur. In this paper, we analyse the progress of a group of six undergraduate students participating in a remedial course using games for recalling some fundamental mathematical…

The uniformly most accurate (UMA) is an important optimal approach in interval estimation, but the current literature often introduces it in a confusing way, rendering the learning, teaching and researching of UMA problematic. Two major aspects cause this confusion. First, UMA is often interpreted to maximize the accuracy of coverage, but in fact,…

This study aims to clarify the role of generating questions in mathematical modeling and construct principles for teaching and learning mathematical modeling with an emphasis on generating questions. To achieve this purpose, the role of generating questions was determined by solving a sprinkler problem and considering the investigation process.…

The Students' Approaches to Learning (SAL) tradition comprehends an approach to learning as a combination of students' aims for learning and the processes used to achieve them. The tradition values a deep approach to learning; this is the case also in the context of university mathematics, where a deep approach is seen as a requirement for…

This article is about utilizing the process of building and exploiting models as a framework for inquiry in mathematics education research. We introduce and discuss a model of such a process and compare this model with key methodological features of design research in mathematics education. We argue that despite several communalities, educational…

Theories of self-efficacy and approaches to learning are well-established in the psychology of learning. However, studies on relationships between the primary constructs on which these theories are developed are rarely reported in mathematics education research. Thus, the purpose of the current study is to provide empirical evidence for a…

The notions of meaning and sense, which are closely related to understanding, play an essential role in educational processes in general and, therefore, in the teaching and learning of mathematics. However, the terms 'meaning' and 'sense' are unevenly used in the theory of language, semiotics, philosophy and psychology. After describing the main…

Tangent lines are often first introduced to students in geometry during the study of circles. The topic may be repeatedly reintroduced to students in different contexts throughout their schooling, and often each reintroduction is accompanied by a new, nonequivalent definition of tangent lines. In calculus, tangent lines are again reintroduced to…

Teachers' and students' values influenced the teaching and learning process in the mathematics classroom. Few studies were conducted to compare teachers' and students' value in mathematics learning. This paper explores Malaysian mathematics teachers' and students' values in mathematics learning. Fifty-three mathematics teachers and 354 secondary…

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…

Approaches to learning have been identified as crucial factors that influence students' mathematics performance. However, there have been mixed findings on which of the different approaches improve performance in undergraduate mathematics. Thus, this study aimed to unravel the specific effects of prior mathematics knowledge and approaches to…

In many countries, international students form a distinct cohort in first-year mathematics courses. For these students, the transition to university mathematics may demand significant adaptation. A research-based understanding of their experiences would enable host universities to provide effective support as they transition from school…

In recent decades, mathematics education scholarship has promoted a shift from traditional teaching and learning approaches to novel approaches that privilege peer-to-peer collaboration. To mobilize researchers towards advancing scholarship on collaborative learning, scholars need to understand the methodologies available to them for examining…

The purpose of this literature review is to explicate the facets of mathematical problem solving taxonomies in relation to mathematical modeling. Subsequently, components and learning benefits of mathematical modeling are discussed. Examples of mathematical problems are embedded in the discussion and pragmatic applications to mathematical…