Many proofs of the arithmetic mean harmonic mean inequality have been proposed based on the rich connections between mathematics and physics. Sometimes the Arithmetic Mean Harmonic Mean inequality is proved by using electric networks. In this note, we use a simple set of two springs, instead of four springs which would be the equivalent set to…

This study sought to explore whether access to definitions and general representations influences the construction of general direct arguments. Data was collected in college mathematics courses for prospective elementary school teachers. Participant arguments were analyzed along two variables: the generality of the representations and the…

Problem decomposition into sub-problems or subgoals and recomposition of the solutions to the subgoals into one complete solution is a common strategy to reduce difficulties in structured problem solving. In this study, we use a datadriven graph-mining-based method to decompose historical student solutions of logic-proof problems into Chunks. We…

In this study, it is aimed to reveal what kind of relationship exists between prospective teachers' thinking structures and their level of writing proofs. This study was carried out as a case study. The study was carried out with 82 prospective teachers enrolled in the Department of Secondary School Mathematics Teaching of a state university…

This exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through…

Providing adequate proof is one essential mathematical method, but it is a difficult task for many school-age students. While previous studies have revealed the cognitive factors of proving the proof, the function of affective factors and learning engagement has been largely unexplored. This study examined the effects and processes associated with…

Supporting students in making mathematical arguments is an important part of discourse practices in mathematics classrooms. Differences in teachers' support for collective argumentation have been observed and documented, and the importance of the teacher's role in supporting collective argumentation is well established. This article seeks to…

This study explored how approximating the practice of mathematicians by communally negotiating the standards for proof mediates middle grade students' abilities to collaboratively construct mathematical arguments. Forty-seven eighth-grade students engaged in an instructional sequence wherein they, along with the instructors, negotiated communal…

We report on a study in which we observed 73 mathematics majors completing 7 proof construction tasks in calculus. We use these data to explore the frequency and effectiveness with which mathematics majors use diagrams when constructing proofs. The key findings from this study are (a) nearly all participants introduced diagrams on multiple tasks,…

This study explored the influence of proof understanding strategies and negative self-concept on undergraduate Afghan students' achievement in modern algebra 1. To examine the relationships among proof understanding strategies, negative self-concept and achievement in modern algebra 1, we used structural equation modeling on data collected from…

This paper focuses on pre-service mathematics teachers' geometrical construction processes while using a duo of artefacts, namely the paper-and-pencil environment (PPE) and a dynamic geometry system (DGS). The participants of this case study were two pre-service mathematics teachers, who had limited DGS experiences in solving geometry tasks. The…

This study sets for itself the task of constructing a learning trajectory for the fundamental theorem of calculus (FTC) that takes into account the interaction with an educational digital tool. Students were asked to explain the connections between interactive and multiple-linked representations in an educational digital tool, and to conjecture…

The following report describes an assessment instrument called the Mathematics Performance and Cognition (MPAC) interview. The MPAC interview was designed to measure two outcomes of interest. It was designed to measure first and second graders' mathematics achievement in number, operations, and equality, and it was also designed to gather…

This report provides an overview of the development, implementation, and psychometric properties of a student mathematics interview designed to assess first- and second-grade student achievement and thinking processes. The student interview was conducted with 622 first- or second-grade students in 22 schools located in two public school districts…

A large body of research has examined students' conceptions of evolution and their relationships to acceptance of evolution. Proficiency in statistical and probabilistic reasoning has long been considered to be an essential feature of evolutionary reasoning, yet almost no empirical work has explored these putative connections. The RaPro…