The aim of this study was to examine the effect of using computers during mathematics lessons on the academic achievements of 4th-grade students. Additionally,this study aimed to determine the frequency of computer usage in selected countries. TIMSS 2019 4th-grade mathematics data were used in this study to determine the relationship between…

This study examined the opportunity to learn function transformations afforded by the GeoGebra applets available on the GeoGebra website. Our analysis focused on the functions and their representations through which function transformations are explored in these GeoGebra applets, the effects and components of transformations that the GeoGebra…

In an era where digital platforms increasingly shape the educational experiences of learners, this dissertation examines activity in the Mathematics Discord Server (MDS), an expansive online learning community used by hundreds of thousands of mathematics learners worldwide. Daily interactions, numbering in the tens of thousands, focused on…

This study aimed to examine the methodological trends of studies using the Augmented Reality (AR) technology in mathematics education and reveal basic findings obtained from the studies. In this context, a systematic review process was conducted in the Web of Science database and 86 studies obtained as a consequence were reviewed. In this…

Educators must balance the needs of students who start the school year behind grade level with their obligation to teach grade-appropriate content to all students. Educational software could help educators strike this balance by targeting content to students' differing levels of mastery. Using a regression discontinuity design and detailed…

Purpose: The purpose of this paper is to examine the intersection of artificial intelligence (AI), computational thinking (CT), and mathematics education (ME) for young students (K-8). Specifically, it focuses on three key elements that are common to AI, CT and ME: agency, modeling of phenomena and abstracting concepts beyond specific instances.…

The Education system in Germany recently invested five billion euro in digital infrastructure for about 40 000 schools. Therefore, this mixed-method study explored the relationship between integrating educational technology in mathematics education and the mathematics achievement of Grade 4 German students. Descriptive statistics and two-level…

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…

This study examined pre-service teachers' intentions to use computers in traditional and innovative teaching practices in primary mathematics classrooms. It extended the technology acceptance model (TAM) by adding as external variables pre-service teachers' experience with computers and their technological pedagogical content knowledge (TPCK).…

Given the importance of teacher in the implementation of computer technology in classrooms, the technology acceptance model and TPACK model were used to better understand the decision-making process teachers use in determining how, when, and where computer software is used in mathematics classrooms. Thirty-four (34) teachers implementing…

This study investigated students' use of electronic support tools within a computer-based mathematics program. Electronic support tools are tools, such as hyperlinks or calculators, available within many computer-based instructional programs. A convenience sample of 73 students in grades 4-6 was selected to participate in the study. Students…

Recent years have seen a growing recognition of the value of positioning teaching as a design science. In this context, we see a great potential in the possible synergy between educational design, learning analytics and teacher inquiry. This synergy is demonstrated in the form of Computer Supported Curriculum Analysis, Design and Evaluation for…

This paper offers an account of what early mathematics education could look like in an age of young digital natives. Each "Tubby," as the tablets are called, presents Nicole (our generic little child) with stimulating mathematics microworlds, from which, beginning at age 3, she can learn basic math concepts, as well as methods of…

Australian secondary school systems offer three levels of senior (year 12) mathematics studies, none of them compulsory: elementary, intermediate and advanced. The intermediate and advanced studies prepare students for further mathematics studies at university level. In the state of Victoria, there are two versions of intermediate mathematics: one…

In this paper we aim to contribute to the process of networking between theoretical frames in mathematics education by means of forging connections between Constructionism and Instrumental Theory to discuss a design for instrumentalisation. We specifically focus on instrumentalisation, i.e. the ways in which students make changes to digital…