In many advanced mathematics courses, comprehending theorems and proofs is an essential activity for both students and mathematicians. Such activity requires readers to draw on relevant meanings for the concepts involved; however, the ways that concept meaning may shape comprehension activity is currently undertheorized. In this paper, we share a…

QR decomposition is widely used for solving the least squares problem. However, existing materials about it may be too abstract for non-mathematicians, especially STEM students, and/or require serious background in linear algebra. The paper describes theoretical background and examples of GNU Octave compatible MATLAB scripts that give relatively…

When the new programming language Pascal was developed in the 1970's, Walter Gander did not like it because because many features which he appreciated in prior programming languages were missing in Pascal. For example the block structure was gone, there were no dynamical arrays, no functions or procedures were allowed as parameters of a procedure,…

Programming-based activities are becoming more widespread in curricula. Our theoretical and empirical investigation seeks to identify appropriate ways to connect computer programming and algorithmics to mathematical learning. We take the intermediate value theorem as our starting point, as it is covered by the French school curriculum, and because…

Every educator knows the sinking feeling of a lesson gone wrong. As teachers look around the room and realize that many of their students are just not getting it, they often feel like failures. However, the struggle students experience as they persevere through high-quality challenging tasks is not a sign of failure, but rather a key aspect of…

This paper analyses how pre-service teachers approach the notion of the infinite limit of a sequence from two perspectives: Specialized Content Knowledge and Advanced Mathematical Thinking. The aim of this study is to identify the difficulties associated with this notion and to classify them. In order to achieve this, an exploratory qualitative…

We report on an innovative design of algorithmic analysis that supports automatic online assessment of students' exploration of geometry propositions in a dynamic geometry environment. We hypothesized that difficulties with and misuse of terms or logic in conjectures are rooted in the early exploration stages of inquiry. We developed a generic…

Academic scholars face a difficult challenge when attempting to grasp the intricate world of mathematics. The complexity of mathematical concepts often lies hidden beneath layers of formulas and procedures, obscuring their true essence. Traditional educational resources often fall short in conveying the profound meaning behind these concepts,…

This paper demonstrated how to apply Machine Learning (ML) techniques to analyze student interaction data collected in an online mathematics game. Using a data-driven approach, we examined 1) how different ML algorithms influenced the precision of middle-school students' (N = 359) performance (i.e. posttest math knowledge scores) prediction and 2)…

This paper demonstrated how to apply Machine Learning (ML) techniques to analyze student interaction data collected in an online mathematics game. Using a data-driven approach, we examined: (1) how different ML algorithms influenced the precision of middle-school students' (N = 359) performance (i.e. posttest math knowledge scores) prediction; and…

This paper demonstrates how to apply Machine Learning (ML) techniques to analyze student interaction data collected in an online mathematics game. We examined: (1) how different ML algorithms influenced the precision of middle-school students' (N = 359) performance prediction; and (2) what types of in-game features were associated with student…

Presents recently developed generalizations to the sieve of Eratosthenes, showing the principles underlying these improvements, which increase its efficiency without changing too much of its simplicity. Offers several possibilities to propose good investigations for students to explore, find patterns, and make generalizations. (JRH)

Reports on two types of unsolvability in mathematics. One is an instance of impossibility and the second is a judgment of undecidability. Presents a number of examples of undecidable propositions. (GS)

Attempts to describe a notion parallel to number sense, called symbol sense, incorporating the following components: making friends with symbols, reading through symbols, engineering symbolic expressions, equivalent expressions for non-equivalent meanings, choice of symbols, flexible manipulation skills, symbols in retrospect, and symbols in…