In this study, we explore automated reasoning tools (ART) in geometry education and we argue that these tools are part of a wider, nascent ecosystem for computer-supported geometric reasoning. To provide some context, we set out to summarize the capabilities of ART in GeoGebra (GGb), and we discuss the first research proposals of its use in the…

Conjecture formulation is crucial to mathematics education. Therefore, this study aimed to evaluate challenges prospective mathematics teachers (PMTs) encounter when using GeoGebra to formulate geometrical conjecture. A qualitative case study was conducted with an exploratory strategy to provide a complete comprehension of the occurrence. Six…

Technological advancements are pushing new simulation and analytical tools, driving the research fields in design forward. In this environment, for introducing new modeling, simulation, and analytic tools, the pre-training aspect becomes important, presenting the ideas behind the tools and preparing the students to structure their already grasped…

Nowadays, digital technologies are crucial in supporting students in geometry in secondary mathematics classrooms. However, in some cases, the role of visual function in technology was only utilized for seeing and conjecturing, not for experimenting, while to develop a relational understanding of geometry concepts, students should actively…

The paper describes two versions of an inquiry-based activity in geometry, designed as a game between two players. The game is inspired by Hintikka's semantic game, which is a familiar tool in the field of logic to define truth. The activity is designed in a dynamic geometry environment (DGE). The inquiry is initially guided by the game itself and…

This document introduces, describes and exemplifies the technical features of some recently implemented automated reasoning tools in the dynamic mathematics software GeoGebra. The new tools are based on symbolic computation algorithms, allowing the automatic and rigorous proving and discovery of theorems on constructed geometric figures. Some…

Due to the fact that the pandemic process did not occur in a predictable time frame, various difficulties have arisen in the field of education. This is also true in mathematics education, and concretization has been one of the biggest obstacles. This situation paved the way for concept learning errors that may occur in students. There are some…

This study consisted of two stages. In stage A, 38 students were divided randomly into an experimental and a control group. The experimental group received lectures assisted by dynamic geometry software (DGS) and the control group received lectures using chalk and blackboard. The effects of DGS on metacognition and its components were…

Gifted students have potential to improve countries and this potential can be revealed and developed in schools where they spend most of their times with other regular students. However, these classrooms have some limitations for them; hence, they need some differentiated activities. Usage of dynamic geometry in mathematics lessons could be an…

From random interviews of mathematics teachers, the researchers are conscious that students have difficulties in solving problems regarding compound body volume measurement. The researchers found the main factor involved in the difficulties was incomplete spatial concepts. Augmented reality (AR), which is a kind of educational technology, has been…

Previous studies have provided that when learning shapes for the first time, young children tend to use the prototype as the reference point for comparisons, but often fail when doing so since they do not yet think about the defining attributes or the geometric properties of the shapes. Most of the time, elementary students learn geometric…

The general goal of this paper is to explore the potential of computer environments for the teaching and learning of functions. To address this, different theoretical frameworks and corresponding research traditions are available. In this study, we aim to network different frameworks by following a "double analysis" method to analyse two…

Our main goal in this study is to exemplify that a meticulous design can lead pre-service teachers to engage in productive unguided peer argumentation. By productivity, we mean here a shift from reasoning based on intuitions to reasoning moved by logical necessity. As a subsidiary goal, we aimed at identifying the kinds of reasoning processes…

Describes activities that use the geometric construction capabilities of the Geometer's Sketchpad computer software to explore triangles. Topics investigated include angle measurement, the sum of the measures of the angles of a triangle and a five-pointed star, triangle classification, and area and perimeter of a triangle. (MDH)

This article reports on a study aiming to design learning systems in which students' knowledge of reflection is brought closer to institutional knowledge of this isometry and to compare how their activities shape and are shaped by different forms of mediation. It presents descriptions of interactions of groups of students (aged 12-13 years) with…