The current study aims to explore the impact of the two-column format in writing simple mathematical arguments. That is to say, a structured method of presenting a mathematical proof or argument by using a tabular layout with two columns. The underlying goal of the research reported in this paper is to inform understanding of how to effectively…

A simple in-class demonstration of integral Calculus for first-time students is described for straightforward whole number area magnitudes, for ease of understanding. Following the Second Fundamental Theorem of the Calculus, macroscopic differences in ordinal values of several integrals, [delta]"F"(x), are compared to the regions of area…

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 paper, we investigate how a research mathematician conjectures and proves when conducting her research. To be precise, the aim of this study is to achieve a comprehensive understanding of the way this research mathematician develops these mathematical practices and thus gain insight to improve the teaching and learning of these two…

Prior research showed that many secondary students fail to construct arguments that meet the standard of proof in mathematics. However, this research tended to use survey methods and only consider students presenting their perceived proofs in written form. The limited use of observation methods and the lack of consideration of students presenting…

Theories of grounded and embodied cognition offer a range of accounts of how reasoning and body-based processes are related to each other. To advance theories of grounded and embodied cognition, we explore the "cognitive relevance" of particular body states to associated math concepts. We test competing models of action-cognition…

Theories of grounded and embodied cognition offer a range of accounts of how reasoning and body-based processes are related to each other. To advance theories of grounded and embodied cognition, we explore the "cognitive relevance" of particular body states to associated math concepts. We test competing models of action-cognition…

Access to body-based resources has been shown to augment cognitive processes, but not all movements equally aid reasoning. Interactive technologies, like dynamic geometry systems (DGS), potentially amplify the link between movement and geometric representation, thereby deepening students' understanding of geometric properties. This study…

We report on a series of task-based interviews in which nine mathematicians were asked to evaluate a series of six mathematical arguments, purportedly produced either by fellow mathematicians or undergraduate students. In this paper, we attend to the role of context in mathematicians' responses, leading to four themes in expectations when…

This article documents differences between novice and experienced undergraduate students' processes of reading mathematical proofs as revealed by moment-by-moment, think-aloud protocols. We found three key reading behaviors that describe how novices' reading differed from that of their experienced peers: alternative task models, accrual of…

The purpose of this paper is to follow the reasoning of high school students when asked to explain the standard trigonometric limit lim/[theta][right arrow] sin[theta]/[theta]. An observational study was conducted in four different phases in order to investigate if visualization, by means of an interactive technology environment (Geogebra), can…

Proof is a key indicator for a student in developing mathematical maturity. However, in the process of learning proof, students have the difficulty of being able to explain the proof that has been compiled using good arguments. So we need a strategy that can put students in the process of clarifying proof better. One strategy that can explore…

This study aims to investigate the effects of the use of multiple geometry proof formats on Indonesian students' reading comprehension of geometry proof (RCGP). Four classes of prospective secondary mathematics teachers (N=125), aged 18 to 19 years, participated in this quasi-experimental study. While the experimental group was instructed in three…

This document introduces, describes and exemplifies the technical features of some recently implemented automated reasoning tools in the dynamic mathematics software GeoGebra. The new tools are based on symbolic computation algorithms, allowing the automatic and rigorous proving and discovery of theorems on constructed geometric figures. Some…

This report documents how one undergraduate student used set-based reasoning to reinvent logical principles related to conditional statements and their proofs. This learning occurred in a teaching experiment intended to foster abstraction of these logical relationships by comparing the predicate and inference structures among various proofs (in…