Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

"Singapore Math: Place Value, Computation & Number Sense" is a six-part presentation on CD-ROM that can be used by individual teachers or an entire school. The author takes primary to upper elementary grade teachers through place value skills with each of the computational operations: addition, subtraction, multiplication, and division. She gives…

This book builds on the social nature of learning to provide useful suggestions for reaching reluctant learners. It is based on the assumption that instruction that focuses on students' interests and builds on collaborative and differentiated learning will allow students to move from believing they "can't do mathematics or science" to a feeling of…

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

Explores ways in which Information Communication Technology (ICT) can be used within the classroom environment to enhance pupils' learning and understanding of mathematics. Describes how to incorporate ICT into lessons investigating mathematical proof. (KHR)

A strategy game is an online interactive game that requires thinking in order to be played at its best and whose winning strategy is not obvious. Provides information on strategy games that are written in Java or JavaScript and freely available on the web. (KHR)

Describes the angles-of-a-star problem designed to find the sums of the measures of the angles at the vertices of a five-pointed star. Shows that a good problem may have many correct solutions. (KHR)

Describes episodes from work with a small group of 8th grade students who were working independently on a geometry course. Uses Geometer's Sketchpad for the tasks. Discusses students' reasoning skills and their interpretation of the painting in terms of the mathematical properties and relationships. (KHR)