This document introduces, describes and exemplifies the technical features of some recently implemented automated reasoning tools in the dynamic mathematics software GeoGebra. The new tools are based on symbolic computation algorithms, allowing the automatic and rigorous proving and discovery of theorems on constructed geometric figures. Some…

The transition from arithmetic to algebra in general, and the use of symbolic generalizations in particular, are a major challenge for beginning algebra students. In this article, we describe and analyze students' learning in a "computer intensive environment" designed ad hoc and implemented in two seventh grade classrooms throughout two…

With the help of technology and a basic high school algebra method for finding the vertex of a quadratic polynomial, students can develop and prove the formula for least-squares lines. Students are exposed to the power of a computer algebra system to generalize processes they understand and to see deeper patterns in those processes. (Contains 4…

Researchers have regarded inductive reasoning as one of the seven primary mental abilities that account for human intelligent behaviours. Researchers have also shown that inductive reasoning ability is one of the best predictors for academic performance. Modelling of inductive reasoning is therefore an important issue for providing adaptivity in…

Describes methods for item construction for computer-based instruction (CBI). Use of a rational set generator (RSG) in presenting an adaptive sequence of items to the learner is described; a model matrix of a computer-based RSG is presented; concrete and defined concepts are discussed; and rule using is explained. (Four references) (LRW)

The study describes a computer-assisted instruction program that implemented a constant time delay procedure to teach the spelling of 15 state names to a sixth grader with a history of spelling disabilities. Maintenance and generalization of training effects also occurred. (Author/DB)

This final report describes activities of a federally funded project which developed an educational computer-assisted instructional program for persons with severe disabilities. A preliminary review of the literature identified specific inadequacies of most software for this population, such as: too few examples of a task or concept thus limiting…

Describes an innovative instructional paradigm for teaching business statistics in higher education which integrates classroom technologies with principles of learning. Highlights include recommendations from the National Research Council of the National Academy of Science; active student participation; student feedback; allowing for…

In all likelihood, currently employed therapists and teachers grew up with computer technology. Part of their computer culture included programming computers for entertainment using popular consumer software like Microsoft Basic. Within this social-educational milieu, the "FACTS+" curriculum represents one long-term project covering the…