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…

Background and Context: Reports suggest plagiarism is a common occurrence in universities. While plagiarism detection mechanisms exist for textual artifacts, this is less so for non-code related ones such as software design artifacts like models, metamodels or model transformations. Objective: To provide an efficient mechanism for the detection of…

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 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 study investigates the potential of a software tool based on Latent Semantic Analysis (LSA; Landauer, McNamara, Dennis, & Kintsch, 2007) to automatically evaluate complex German texts. A sample of N = 94 German university students provided written answers to questions that involved a high amount of analytical reasoning and evaluation.…

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…

Information and communication technology (ICT)-enhanced research methods such as educational data mining (EDM) have allowed researchers to effectively model a broad range of constructs pertaining to the student, moving from traditional assessments of knowledge to assessment of engagement, meta-cognition, strategy and affect. The automated…

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…

As collaboration among teams that are distributed in time and space is becoming increasingly important, there is a need to understand the efficacy of tools available to support that collaboration. This study employs a combination of the Technology Acceptance Model (TAM) and the Task-Technology Fit (TTF) model to compare four different technologies…

A traditional abstract algebra course typically consists of the professor stating and then proving a sequence of theorems. As an alternative to this classical structure, the students could be expected to discover some of the theorems even before they are motivated by classroom examples. This can be done by using a software system to explore a…

The purpose of this study is to investigate the effect of using the Geometer's Sketchpad software in the teaching and learning of graph functions among Form Six (Grade 12) students in a Malaysian secondary school. This study utilized a quasi-experimental design using intact group of students from two classes in an urban secondary school. Two…

The demand for good instructional environments presupposes valid and reliable analytical instruments for educational research. This paper introduces the "SMD Technology" (Surface, Matching, Deep Structure), which measures relational, structural, and semantic levels of graphical representations and concept maps. The reliability and validity of the…

Using dynamic graphs, future secondary mathematics teachers were able to represent and communicate their understanding of a brief mathematical investigation in a way that a symbolic proof of the problem could not. Four different student work samples are discussed. (Contains 6 figures.)

Dynamic geometry software (DGS) such as Cabri and Geometers' Sketchpad has been regularly used worldwide for teaching and learning Euclidean geometry for a long time. The DGS with its inductive nature allows students to learn Euclidean geometry via explorations. However, with respect to non-Euclidean geometries, do we need to introduce them to…