The paper argues that there is a need for new approaches to teaching proof with newly-available technology. It contributes to filling this need by opening a discussion on digital proof assistants, programs that allow one to do mathematics with the aid of a computer, construct proofs, and check their correctness. The paper starts by exploring such…

Advancement of self-regulation during complex problem solving and the development of strategical reasoning are among the central educational goals linked to 21st century skills. In this paper we introduce the notion of "Stepped Tasks", which are specially designed in Top-Down structure to achieve these goals in mathematics instruction.…

Four methods of filling a square using programing with Logo are presented, with comments on children's solutions. Analysis of the mathematical or programing concepts underlying a few simple algorithms is the focus. (MNS)

Described are the difficulties encountered in a bicultural educational context by Australian Aboriginals. Theoretical perspectives, the social context for mathematics communication, and the use of educational software are discussed. Suggestions for overcoming social difficulties in mathematics are provided. (CW)