Geometry theorem proving involves skills that are difficult to learn. Instead of working with abstract and complicated representations, students might start with concrete, graphical representations. A proof tree is a graphical representation of a formal proof, with each node representing a proposition or given conditions. A computer-assisted…

Describes a study that determined the implications of computer graphics types and epistemological beliefs with regard to the design of computer-based mathematical concept learning with elementary school students in Taiwan. Discusses the factor structure of the epistemological belief questionnaire, student performance, and students' attitudes…