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

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

Eliciting student thinking is paramount to effective mathematics teaching and learning. Although one can use many strategies and techniques to promote student thinking, technology is one resource that is often underutilized. Whether it is the informed use of calculators or an interactive website, technology can be leveraged to promote mathematical…

We present a geometrical investigation of the process of creating an infinite sequence of triangles inscribed in a circle, whose areas, perimeters and lengths of radii of the inscribed circles tend to a limit in a monotonous manner. First, using geometrical software, we investigate four theorems that represent interesting geometrical properties,…

In this article, we present investigative tasks that concern loci, which integrate the use of dynamic geometry software (DGS) with mathematics for proving the obtained figures. Additional conditions were added to the loci: ellipse, parabola and circle, which result in the emergence of new loci, similar in form to the original loci. The…

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…

The subject of the article is usage of modern computer technologies through the example of interactive geometry environment Geogebra as an innovative technology of representing and studying of geometrical material which involves such didactical opportunities as vizualisation, simulation and dynamics. There is shown a classification of geometric…

This paper presents a small group computing environment in which four students each control a different point in a geometric space, such that as a group they collectively manipulate the vertices of a quadrilateral. Prior research has revealed that students have considerable difficulty in learning about the interrelationships among quadrilaterals…

The symbolic manipulation capabilities of computer algebra systems, which we refer to as CAS-S, are now becoming instantiated within secondary mathematics textbooks in the United States for the first time. While a number of research studies have examined how teachers use this technology in their classrooms, one of the most important factors in how…

This article analyzes the use of the software Grid Algebra with a mixed ability class of 21 nine-to-ten-year-old students who worked with complex formal notation involving all four arithmetic operations. Unlike many other models to support learning, Grid Algebra has formal notation ever present and allows students to "look through" that…

The availability of sophisticated computer programs such as "Wolfram Alpha" has made many problems found in the secondary mathematics curriculum somewhat obsolete for they can be easily solved by the software. Against this background, an interplay between the power of a modern tool of technology and educational constraints it presents is…

Since the 1990s, computer algebra systems (CAS) have been available in Australia as hand-held devices designed for students with the expectation that they will be used in the mathematics classroom. The data discussed in this paper was collected as part of a pilot study that investigated first year university mathematics and statistics students'…

The aim of this study is to investigate the effects of solution methods and question prompts on generalization and justification of non-routine problem solving for Grade 9 students. The learning activities are based on the context of the frog jumping game. In addition, related computer tools were used to support generalization and justification of…

Several interactive geometry software packages are available today to secondary school teachers. An example is The Geometer's Sketchpad[R] (GSP), also known as Dynamic Geometry[R] software, developed by Key Curriculum Press. This numeric based technology has been widely adopted in the last twenty years, and a vast amount of creativity has been…