This study focuses on computer-based formative assessment for supporting problem solving and reasoning in mathematics. To be able to assist students who find themselves in difficulties, the software suggested descriptions - diagnoses - of the encountered difficulty the students could choose from. Thereafter, the software provided metacognitive and…

This paper presents a fine-grained process analysis of 22 students in a classroom-based learning setting. The students engaged (and failed) in problem-solving attempts prior to instruction (i.e., the Productive-Failure approach). We used the HeuristicsMiner algorithm to analyze the data of a quasi-experimental study. The applied algorithm allowed…

Word problems are among the most difficult kinds of problems that mathematics learners encounter. Perhaps as a result, they have been the object of a tremendous amount research over the past 50 years. This opening article gives an overview of the research literature on word problem solving, by pointing to a number of major topics, questions, and…

There has been a large amount of research about the impact of dynamic geometry software (DGS) on the learning of mathematics mainly related to different representations of mathematical concepts and functional dependences. This paper goes beyond these investigations by suggesting meaningful connection and integration of DGS with physical resources…

This article gives an example for using Dynamic Geometry Software to encourage making conjectures, reasoning, and experiencing mathematics as a process.

Interactive or Dynamic Geometry System (DGS) is a tool that help to teach and learn geometry using a computer-based interactive environment. Traditionally, the interaction with DGS is based on keyboard and mouse events where the functionalities are accessed using a menu of icons. Nevertheless, recent findings suggest that such a traditional model…

Explores the role of proof in mathematics education and provides justification for its importance in the curriculum. Discusses three applications of dynamic geometry software--heuristics, exploration, and visualization--as tools in the teaching of proof and as potential challenges to the importance of proof. (Author/MM)

Reports on a long-term teaching experiment carried out in the 9th and 10th grades of a scientific high school as part of a larger research project. Aims to clarify the role of a particular software, Cabri Geometry, in the teaching/learning process. Focuses on the social construction of knowledge. (Author/MM)

Discusses geometry and Dynamical Geometry Software (DGS). Analyses the way DGS-use influences traditional geometry. Highlights changes in the interactions between geometry, computers, and DGS and human users, focusing on changes in the teaching and learning of geometry. Concludes that DGS deeply changes geometry if it is taken as a human activity…

Described and evaluated are microcomputers as a tool for construction in geometry education and heuristic theorem finding through interactive continuous variation of geometric configurations. Numerous examples of theorem finding processes are provided using the prototype graphics system CABRI-Geometer. (MDH)