In this exploratory study, we investigate undergraduate students' engagement with generative Artificial Intelligence (genAI) in proving mathematical statements. We selected six mathematical statements to conduct interviews with three students. We present the emergent framework, Students' Interactive Proving Experience with AI (SIPE-AI), which…

While there are many documented approaches to using technological tools to support collaboration in remote environments, studies related to proof-based courses are overwhelmingly situated in the context of geometry. This study uses instrumental genesis theory to study how students in an introduction to proofs course operationalize the…

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…

In this article, we provide an empirical example of how digital technology; in this case, GeoGebra may assist students in uncovering--or whiteboxing--the content of a mathematical proof, in this case that of Proposition 41 from Euclid's "Elements." In the discussion of the example, we look into the impact of GeoGebra's…

The aim of this study is to explore how structural and process aspects of secondary school students' mathematical reasoning support each other in a collaborative learning environment through the integration of "GeoGebra" software and the ACODESA method. The study involved four eighth-grade secondary school students, who participated in…

Traditional rote learning methods often fail to adequately develop reasoning skills in mathematics, particularly among pre-university students. This study addresses challenges in fostering mathematical reasoning abilities, as evidenced by declining TIMSS results and resistance to pedagogical innovations. My online teaching with GeoGebra (MyOT_G+)…

We present an investigative activity that was set as part of a course of pre-service teachers of mathematics. The emphasis in the course was set on the importance of using the computerized technological tool for teaching the subject. The activity focused on investigating interesting geometrical conservation properties which are not known to the…

This paper presents research into closed orbits parallel to quadrilaterals inscribed in various geometric shapes that can be represented by mathematical functions: straight lines, circles, ellipses, parabolas, and hyperbolas. Mathematical proofs have been given for the existence of an infinite number of parallel orbits for each of these shapes.…

Taking as its point of departure, situations arising in classrooms exposed to a heavy use of CAS, exemplified by the Danish upper secondary school mathematics program, the paper discusses the use of "old" cognitive frameworks of mathematics education as an alternative to more recent theoretical developments in the field. The paper draws…

Algebra has long been a gatekeeper to more advanced mathematics and to tertiary education. International assessments, such as PISA, have also shown that this trend extends beyond borders, making the topic of when algebra should be learned quite political. Many reforms have been instituted since the early 1990s to infuse algebraic thinking into…

The article presents some examples of plane geometric variance of an area with the use of computer technology. These tools can offer teachers opportunities for adaptation and preparation of pedagogical presentations which will help students along the process of fruitful conjectures formation and eventually construction of formal deductive proofs.…

Proof and argumentation are essential components of learning mathematics, and technology can mediate students' abilities to learn. This systematic literature review synthesizes empirical literature which examines technology as a support for proof and argumentation across all content domains. The themes of this review are revealed through analyzing…

The purpose of this study was to compare two treatments, namely the use of hands-on activity media and computer-based media on the conceptual understanding of mathematics and the reasoning ability of junior high school students. In order to obtain complete information about the comparison of the two, researchers also use groups without learning…

This article gives an example for using Dynamic Geometry Software to encourage making conjectures, reasoning, and experiencing mathematics as a process.

Remote learning has reduced the mathematical performance of students. Mathematical reasoning is the critical skill that enables students to make use of all other mathematical skills. The aim of the present study was (1) to develop the mathematical reasoning skills of underachieving students and (2) to explore the application options, benefits and…