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

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…

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…

This work presents an evaluation of a unified Calculus 1 course in a large Brazilian federal university. By course unification we mean having all the sections following the same weekly schedule, under the same syllabus and common assessment. We analyse two sets of data: pass rates relative to the 9 semesters prior to the unification and to the…

International literature is increasingly disclosing the relevance of cultural aspects within the processes of teaching and learning mathematics. Knowledge is inextricably linked to the activities in which the subjects engage, and must be considered in relation to the socio-cultural context wherein the activity takes place. Literature reveals the…

In undergraduate mathematics education, students' collaborations have gained a reputation as a 'good' learning practice. A more complex image emerges once collaborations are construed as an arena where cognitive, social, and affective matters intertwine in ways that can fuel and impede learning. In this study, I take a close look at a…

This paper aims to examine the extent to which pre-service teachers' mathematical connection skills were promoted through the course designed within the scope of pedagogies of practice (Grossman et al. [2009]. Teaching practice: A cross-professional perspective. Teachers College Record, 111(9), 2055-2100.…