For the past decade, philosophers of mathematical practice have examined the nature and function of proofs in mathematical practice, most often in mathematical research practice. More recently they have examined how mathematicians assess and get to know a proof not just by reading it, but through active engagement with the proof. For example,…

Formative assessment involves the gathering of information that can guide the teaching of individual or groups of children. This approach requires a sound understanding of children's thinking and learning, as well as an effective method for gaining the information. We propose that formative assessment should employ a version of clinical…

This survey on the theme of Geometry Education (including new technologies) focuses chiefly on the time span since 2008. Based on our review of the research literature published during this time span (in refereed journal articles, conference proceedings and edited books), we have jointly identified seven major threads of contributions that span…

Assessment data from the United States and international reports of student achievement indicate that upper elementary students are failing to meet basic levels of proficiency in fractions and writing, and that this is particularly prevalent with students with or at-risk for learning disabilities in mathematics. Proficiency with fractions has been…

The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice. Nonetheless, evidence, proof, and derivation are closely intertwined. This paper seeks to tease these…

Mathematical argumentation is generally thought to be the paradigm of cogent reasoning. The concept of mathematical proof thus seems to be associated with necessity and enforcement, but not with freedom; however, in various ways a reference to freedom is also needed to understand the phenomenon of mathematical proof, for example, to distinguish it…

The formal acceptance of a mathematical proof is based on its logical correctness but, from a cognitive point of view, this form of acceptance is not always naturally associated with the feeling that the proof has necessarily proved the statement. This is the case, in particular, for proof by contradiction in geometry, which can be linked to a…

The cognitive relationship between intuition and proof is complex and often students struggle when they need to find mathematical justifications to explain what appears as self-evident. In this paper, we address this complexity in the specific case of open geometrical problems that ask for a conjecture and its proof. We analyze four meaningful…

In this survey paper, we describe the state of the field on linear algebra research. We synthesize themes, questions, results, and perspectives emphasized in the papers that appear in this issue, as well as a selection of those published between 2008 and 2017. We highlight the extensive base of empirical research detailing how students reason…

Reflection is an important part of teaching and needs to be considered carefully. In this study, we examined a mathematics instructor's reflections on teaching linear algebra. The research team employed Tall's (How humans learn to think mathematically: exploring the three worlds of mathematics. Cambridge University Press, Cambridge, 2013)…

Proof has a prominent place in the linear algebra curriculum, teaching and learning but in first-year courses it continues to be challenging for both instructors and students. While an introduction to new concepts through definitions and theorems adds to the complexity of the course, proof remains the number one hurdle for many students. How do…

This paper examines proof constructions in group work in the field of linear algebra teaching at the university level. Studies have shown that students at tertiary level have difficulties in understanding different kinds of quantifiers, which are fundamental in linear algebra proof constructions. This study investigates how two student groups,…

Much remains under-researched in how learners make use of domain-specific feedback. In this paper, we report on how learners' can be supported to overcome logical circularity during their proof construction processes, and how feedback supports the processes. We present an analysis of three selected episodes from five learners who were using a…

High schools commonly use a differential approach to teach minima and maxima geometric problems. Although calculus serves as a systematic and powerful technique, this rigorous instrument might hinder students' ability to understand the behavior and constraints of the objective function. The proliferation of digital environments allowed us to adopt…

This theoretical paper presents a methodology for instructional design in mathematics. It is a theoretical analysis of a proposed model for instructional design, where tasks are embedded in situations that preserve meaning with respect to particular pieces of mathematical knowledge. The model is applicable when there is an intention of teaching…