This study explored the use of animation in the classroom by investigating whether or not students taught with animation will achieve better than recorded teaching. This study adopted non-equivalent control group, quasi experimental design. Eighty (80) Junior Secondary School 2 students (40 males, 40 females) from two co-educational private junior…

This paper constructs an overview of the historical development of the International Journal for Technology in Mathematics Education (IJTME) during the period 2004- 2018. The titles of the published papers in this period are examined, focusing on what technological tools were studied, and what theoretical ideas were used to study the teaching and…

This study uses "Critical Race Theory," "Settler Colonialism," and "Critical Whiteness Studies" to frame how property is recognized only under the auspices of whiteness. In the college algebra classroom, this is born out through white entitlement, racialized senses of sharing, and resource allocation. This study uses…

Many engineering subjects rely on the interpretation of symbolic, numeric and graphic representations. Engineering students have challenges pertaining to their mathematical understanding of their actions with a computer algebra system (CAS). We investigated how a mathematical modelling task could mediate varied levels of mathematical…

This study aimed at determining the effects of using a computer algebra system (CAS) on undergraduate students' spatial visualization skills in a calculus course. This study used an experimental design. The "one group pretest-posttest design" was the research model. The participants were 41 sophomore students (26 female and 15 male)…

Computer technologies and especially computer algebra systems (CAS) allow students to overcome some of the difficulties they encounter in the study of real numbers. The teaching of calculus can be considerably more effective with the use of CAS provided the didactics of the discipline makes it possible to reveal the full computational potential of…

Studies of the impact of various types of computer use on the results of learning and student motivation have indicated that the use of computers can increase learning motivation, and that computers can have a positive effect, a negative effect, or no effect at all on learning outcomes. Some results indicate that it is not computer use itself that…

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…

At Manhattan College, secondary mathematics education students take a capstone course designed specifically for them. In this course, students revisit important topics in the high school curriculum from a mathematically advanced perspective; incorporating the mathematical knowledge they have attained in their college mathematics classes to an…

This study investigated how a group of 10 prospective secondary mathematics teachers (PST) read, evaluated, and adapted a textbook lesson involving the symbolic manipulation capabilities of computer algebra systems (CASS). PST read the entire lesson and tended to focus on the organizing question at the beginning of the student lesson and the CAS-S…

Math homework is transforming at a rapid rate with the continuous advances in educational technology. Computer-based homework, in particular, is gaining popularity across a range of schools, with little empirical evidence on how to optimize student learning. In the current study, middle school students (N = 143) solved a set of challenging…

The answers offered by computer algebra systems (CAS) can sometimes differ from those expected by the students or teachers. The comparison of the students' answers and CAS answers could provide ground for discussion about equivalence and correctness. Investigating the students' comparison of the answers gives the possibility to study different…

This paper reports on a study of choices about the use of a computer algebra system (CAS) or pen-and-paper (p&p) by a class of seven Year 11 Mathematical Methods (CAS) students as they completed a calculus worksheet. Factors that influenced students' choices are highlighted by comparing and contrasting the use of CAS and p&p between…

Mathematics teachers continually look for ways to make the learning of mathematics more active and engaging. Hands-on activities, in particular, have been demonstrated to improve student engagement and understanding in mathematics classes. Likewise, many scholars have emphasized the growing importance of giving students experience with the…

This paper reports on a study of twelve 10th grade students using Cognitive Tutor, a math software program, to learn linear algebra word concept. The study's purpose was to examine whether students' mathematics performance as it is related to using Cognitive Tutor provided evidence to support Koedlinger's (2002) four instructional principles used…