This study explores the effects of a computer algebra system on students' mathematical thinking. Mathematical thinking is identified with mathematical thinking powers and structures. We define mathematical thinking as students' capacity to specialize and generalize their previous knowledge to solve new mathematical problems. The study was…

Achieving the Dream (ATD) is one of 12 higher education and digital learning organizations that make up the Every Learner Everywhere (Every Learner) Network, whose mission is to help higher education institutions improve and ensure more equitable student outcomes through advances in digital learning, particularly among poverty-impacted, racially…

Linear algebra is a crucial part of mathematical training for engineering students and there are many problems in the application of this subject in engineering, physical, and even mathematical disciplines. In this scope, a study on the sustainability of learning this subject and how it can be improved is considered necessary. This article aims to…

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…

This linear algebra note offers teaching and learning ideas in the treatment of the inner product space R[superscript m x n] in a technology-supported learning environment. Classroom activities proposed in this note demonstrate creative ways of integrating MATLAB technology into various properties of Frobenius inner product as visualization tools…

Opportunities matter when it comes to students' math attitudes and performance. Over two semesters, across treatment sections of college algebra students, we implemented a set of dynamic computer activities linking animations and graphs. Across all sections, we administered a fully online survey of students' attitudes toward math. Using mixed…

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…

In this paper, we discuss examples of assignments for a course in discrete mathematics for undergraduate students majoring in business informatics. We consider several problems with computer-based solutions and discuss general strategies for using computers in teaching mathematics and its applications. In order to evaluate the effectiveness of our…

In this work, we present a teaching proposal which emphasizes on visualization and physical applications in the study of eigenvectors and eigenvalues. These concepts are introduced using the notion of the moment of inertia of a rigid body and the GeoGebra software. The proposal was motivated after observing students' difficulties when treating…

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

The process of prime factor splicing to generate home primes raises opportunity for conjecture and exploration. The notion of "home primes" is relatively new in the chronicle of mathematics. Heleen (1996-97) first described a procedure called "prime factor splicing" (PFS). The exploration of home primes is interesting and…

Modules in Computer Algebra Systems (CAS) make Mathematics interesting and easy to understand. The present study focused on the implementation of the algebraic, tabular (numerical), and graphical approaches used for the construction of the concept of absolute value function in teaching mathematical content knowledge along with Maple 9. The study…

CATO is a new user interface, developed by the author as a response to the significant difficulties faced by scientists, engineers, and students in their usage of computer algebra (CA) systems. Their tendency to use CA systems only occasionally means that they are unfamiliar with requisite grammar and syntax these systems require. The author…

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…

The research relates to undergraduate students' understanding of mathematical concepts that relate to the conceptualisation of the continuous such as the notion of limit. The cognitive difficulties that accompany the learning of these concepts at the different stages of the mathematics education are well reported in the literature. I analyse the…