Eliciting student thinking is paramount to effective mathematics teaching and learning. Although one can use many strategies and techniques to promote student thinking, technology is one resource that is often underutilized. Whether it is the informed use of calculators or an interactive website, technology can be leveraged to promote mathematical…

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…

Students' use of technology allows them to generate and manipulate multiple representations of a concept, compute numbers with relative ease, and focus more on mathematical concepts and higher-order thinking skills. In elementary school mathematics classrooms, students develop higher-order thinking skills by completing complex tasks that require…

"Scratch" is a media-rich digital environment that utilises a building block command structure to manipulate graphic, audio, and video aspects. It incorporates elements of Logo including "tinkerability" in the programming process. In "Scratch" students use geometric and measurement concepts such as coordinates, angle,…

Evolving technology has played an important part in a common quadratic-function lesson. Having been mentioned repeatedly in numerous reform documents, a recurring lesson has involved changing the parameters in f(x) = ax[superscript 2] + bx + c and studying the effects on the graph. In both NCTM Yearbooks and NCTM Standards documents, technology is…

This article relates how a class of elementary preservice teachers used technology to share their thinking about a topic that is traditionally difficult to model and discuss--dividing fractions. One type of technology they used, a digital camera, was familiar to most students, but the other type, a SMART Board[TM], was relatively unfamiliar.…

The universities and faculties which educate teachers of mathematics for teaching pupils/students of any age group from pre-school age to higher education carefully monitor and compare valuable results of this research, detect the areas in which the mathematical achievements of pupils should be improved at the national level and propose the ways…

"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…

In this action-research study, a third-grade teacher explores the impact of student blogs on the quality of their mathematical discussions. The teacher introduced math blogs to facilitate a productive online discussion focused on multistep story problems. (Contains 2 figures.)

For over a decade it has been a common observation that a "fog" passes over the course in linear algebra once abstract vector spaces are presented. See [2, 3]. We show how this fog may be cleared by having the students translate "abstract" vector-space problems to isomorphic "concrete" settings, solve the "concrete" problem either by hand or with…

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…

Presents an easy method for constructing magic squares from three-by-three to general squares. Provides a computer program generating odd-order magic squares. Six references are listed. (YP)

Described are several programs that enable the user to evaluate derivatives to order n of any elementary function by using the combination of automatic differentiation method and A Programming Language (APL). Programs calculating first- and higher-order derivatives are presented. Selected APL symbols are appended. (YP)

This paper provides an historical perspective on the possible roles of cognitive technologies in thinking as "reorganizers" of the mind. It suggests that by understanding the transformational roles of advanced technologies for mathematical thinking, positive contributions can be made to research and practice on the use of computers in…