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

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…

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…

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…

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…

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

Solving systems of equations at school, at least in Argentina, is usually a task that students are given as a series of techniques that "allow" them to find a solution. How to overcome educational obstacles that are generated from a fragmented approach of knowledge? What can DGS do, in particular the CAS environment? What epistemic and…

Across three papers I study how differences in the quality and quantity of classroom instruction contribute to differences in what students learn in school. The first two papers focus on teachers--specifically what gives rise to differences between teachers in student learning. The third paper focuses on the quantity of instruction time students…

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 examines the factors influencing student teachers' use of information and communication technology (ICT) to teach mathematics. Data collection involved questionnaire surveys and individual follow-up semi-structured interviews of student teachers concerning the factors that they felt had hindered or promoted their development in the use…

The use of handheld CAS technology in undergraduate mathematics courses in Australia is paradoxically shrinking under sustained disapproval or disdain from the professional mathematics community. Mathematics education specialists argue with their mathematics colleagues over a range of issues in course development and this use of CAS or even…