As a significant tool to integrate information technology and education, dynamic mathematical software (DMS) has been widely concerned in recent years. However, how to better apply it to instruction practice deserves further exploration. Thus, we adopted the meta-analysis method to analyze the DMS-based experiments published between 2000 and 2020.…

The geometric design of roofs is a key element in the design and construction of buildings. Roofs play an important role in protecting buildings from the weather and providing esthetic appearance and functionality. Theoretically, to design a roof over a given plan means to construct the projections of the intersections of the roof planes. All this…

Currently, there is a rapid development of artificial intelligence systems that can solve and explain the solution of mathematical problems in the same way as students do. The problem of organizing interaction of artificial and human intelligence which does not lead to the degradation of the student's thinking skills arises. The article proposes…

The usage of digital media, especially tablet apps, is currently a major concern in educational settings. A controversial discussion is also taking place in relation to mathematics education at primary schools. While on the one hand there are empirical findings on helpful isolated examples and related subject-didactic potentials of digital media,…

Background/purpose: In modern mathematical education, it is important to develop students' ability to understand the fundamental properties of geometric objects deeply. This makes it relevant to study the additivity of the area of triangles as a property inherent in various kinds of quantities and ways of representing it methodologically in the…

Mathematics education is looking for innovative methods to foster problem-solving skills in students. This research develops a problem-solving assessment using GeoGebra Classroom, a versatile interactive mathematics software, to revolutionize mathematics formative assessment and improve students' problem-solving skills. This study adopted the…

This study explores the effectiveness of GeoGebra in enhancing students' understanding of vectors in mathematics education. The research compares traditional teaching methods with the application of GeoGebra to determine its impact on conceptual and procedural knowledge acquisition. Vectors are often challenging for students to grasp due to their…

In recent years, studies have discussed how to introduce computational thinking (CT) concepts in mathematics education through mobile app development. In this study, the design of mathematics lessons based on the 5E instructional model to extend the idea of CT in a mobile technology environment (i.e., mobile CT) was investigated. Twenty-three…

This study examines the impact of integrating GeoGebra software into teaching circle properties at the high school level, comparing it with traditional methods. Conducted over 8 weeks with 112 students aged 15-18, it included an experimental group using GeoGebra (56 students) and a control group with classical teaching methods (56 students). The…

This experience has taken place at the School of Education of the Universidad Complutense de Madrid. The goals of the subjects considered are to show how the computer can help in the teaching-learning process in Primary and/or Secondary Education and to clarify and strengthen the mathematical concepts of our students. Mastering a specific…

In Costa Rica, before 2016 the subject of statistics was not included in the national high school tests in Mathematics. As of 2016, the test, consisting of 60 items, includes 9 statistical items. On the other hand, teachers in their lessons usually use traditional expository methods, mediated by the use of a blackboard and printed materials. In…

The EnCoMPASS project (Emerging Communities for Mathematical Practices and Assessment) at the Math Forum and Drexel University has produced a web-based software tool for the assessment of student work. This paper discusses research on the impact of the tool on teachers' attitudes toward work with students in the software environment. The tool…

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…

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