The aim of this study is to explore how structural and process aspects of secondary school students' mathematical reasoning support each other in a collaborative learning environment through the integration of "GeoGebra" software and the ACODESA method. The study involved four eighth-grade secondary school students, who participated in…

This article addresses the didactical effects of CAS assisted proofs in Danish upper secondary mathematics textbooks as a result of the 2005 reform that introduced CAS as a part of the upper secondary level curriculum (and examinations). Based on a reading of 33 upper secondary school mathematics textbooks, 38 instances of CAS assisted proofs are…

Mathematical induction is one of the major proof techniques taught to mathematics students in the first years of their undergraduate degrees. In addition to its importance to mathematics, induction is also required for computer science and related disciplines. However, even if the concepts of a proof by induction are taught and understood, many…

In many mathematical problems, students can feel that the universality of a conjecture or a formula is validated by their experiment and experience. In contrast, students generally do not feel that deductive explanations strengthen their conviction that a conjecture or a formula is true. In order to cope up with students' conviction based only on…

Visual logic puzzles provide a fertile environment for teaching multiple topics in discrete mathematics. Many puzzles can be solved by the repeated application of a small, finite set of strategies. Explicitly reasoning from a strategy to a new puzzle state illustrates theorems, proofs, and logic principles. These provide valuable, concrete…

Explores the relative strengths and weaknesses of the spreadsheet approach versus specialized mathematical programming software for solving a particular logic puzzle. (KHR)

This submission contains the Proceedings of the 2002 Annual Meeting of the Canadian Mathematics Education Study Group (CMESG), held at Queen's University in Kingston, Ontario. The CMESG is a group of mathematicians and mathematics educators who meet annually to discuss mathematics education issues at all levels of learning. The aims of the Study…

This document contains the third volume of the proceedings of the 30th Conference of the International Group for the Psychology of Mathematics Education. Conference presentations are centered around the theme "Mathematics at the Centre." This volume features 60 research reports by presenters with last names beginning between Ead and Kou:…