This paper describes the difficulties faced by a group of middle school students (13- to 15-year-olds) attempting to translate algebraic statements written in verbal language into symbolic language and vice versa. The data used were drawn from their replies to a written quiz and semi-structured interviews. In the former, students were confronted…

In the study presented, as we report in this paper, we describe our theoretical and practical consideration to engage first-year pre-service teachers in proving activities in the context of a transition-to-proof course. We investigated how students argued to verify a claim of elementary number theory on entering university and compared the results…

The internal operations of this computer symbolic mathematics system are described in detail in order to explain the accomplishments of the computer. (MP)

This longitudinal study investigated the ways in which two groups of eight students used spreadsheets to represent and solve algebra problems and related this to their previous arithmetical experiences and evolving use of symbolic language. The spreadsheet environment supported students to move from specific to general thinking. Includes story…