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…

Gabriel's Horn is a solid of revolution commonly featured in calculus textbooks as a counter-intuitive example of a solid having finite volume but infinite surface area. Other examples of solids with surprising geometrical finitude relationships have also appeared in the literature. This article cites several intriguing examples (some of fractal…

This paper analyses the role of Computer Algebra Systems (CAS) in a model of learning based on competences. The proposal is an e-learning model Linear Algebra course for Engineering, which includes the use of a CAS (Maxima) and focuses on problem solving. A reference model has been taken from the Spanish Open University. The proper use of CAS is…

The implementation of online texts, videos, homework, and tests has changed the process of instruction in introductory college mathematics courses. With this change, more of the students' learning takes place outside of the traditional college classroom and in places such as tutoring centers and dorm rooms. A combination of chi-square tests--for…

This paper is part of a dissertation defended in January 2001 as part of the author's Ph.D. requirement. The study investigated the effects of use of Mathematica, a computer algebra system, in learning basic linear algebra concepts, It was done by means of comparing two first year linear algebra classes, one traditional and one Mathematica…

Compares two groups of students in an intermediate algebra course and two groups of students in a college algebra course with regard to the use/non-use of computer algebra software in the courses. Indicates that in both courses, students using the software outperformed the students not using the software on a common final exam. (Author/ASK)

Links the use of Computer Algebra Systems (CAS) to an existing classification scheme for mathematical tasks called the MATH Taxonomy. Illustrates through concrete examples how the goals of teaching and learning mathematics can be set using this classification together with the CAS. (Author/MM)

Gives concrete examples of examinations in which Computer Algebra Systems (CAS) can be used. Discusses the need to link the construction of the examination and evaluation of the exam scripts in terms of an existing classification scheme for mathematical tasks, the MATH Taxonomy. (Author/MM)

Purpose: The purpose of this scientific monograph is to show new and creative approaches to different school subjects in primary and secondary level. Methodology: Interdisciplinary and international comparative approaches were used. Now according to the 7th Framework Program, the preferred form of Science Education (www.scientix.eu) is preferred…

Reports on the responses of students using a computer algebra system (CAS) called DERIVE in an introductory calculus course at undergraduate level. Indicates that the use of this technology was a catalyst for students to use three types of learning strategies: (1) regularly using multiple representations, (2) discussing meaning with peers and…

Currently, in Texas public schools, there is a shortage of teachers holding secondary mathematics teaching certification. Many teachers have limited access to professional development opportunities due to occupational commitments, geographic proximity, family obligations, or inconvenience of transportation. However, with the incorporation of…

Despite the effectiveness of computer-mediated instructional (CMI) materials, relatively little use is made of technology in mainstream college teaching. This article examines why CMI materials are not widely used; the mediated learning model that embeds CMI materials within a computer-mediated, communication-rich instructional environment; and…

Reports on a study designed to build instructional software to improve estimation, reasoning, and problem solving skills using an animation-based tutor for algebra word problems. Concludes that estimation and the solution of simpler problems (i.e., decomposition) are effective strategies. (Author/MM)

Presents ways to improve the accuracy of approximations of logarithms in a college-algebra course. (Author/ASK)

This project focuses on the construction and use of a student-made elementary algebra tutorial World Wide Web page at the University of Memphis (Tennessee), how this helps students further explore the topics studied in elementary algebra, and how students can publish their work on the class Web page for use by other students. Practical,…