Throughout the years of the history of the development of mathematics, starting with the ancient mathematicians, new things were discovered from time to time, which made it a central component of the computerized world, which serves us in many fields, with the young "swimming" in it, and the adults asking: how could we live without it!…

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…

Geometrography, "alias the art of geometric constructions" was proposed by Emile Lemoine between the late 1800s and the early 1900s. It consisted originally of a system to measure the complexity of ruler-and-compass geometric constructions, capable of: designate every geometric construction by a pair of values that manifests its…

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…

Discrete Mathematics instructors and students have long been struggling with various labelling and scanning algorithms for solving many important problems. This paper shows how to solve a wide variety of Discrete Mathematics and OR problems using assignment matrices and linear programming, specifically using Excel Solvers although the same…

This paper presents a prototype of a computer learning assistant ILMEV (Interactive Learning-Mathematica Enhanced Vector calculus) package with the purpose of helping students to understand the theory and applications of integration in vector calculus. The main problem for students using Mathematica is to convert a textbook description of a…

This article presents a web-based tool designed to compute certified equations and graphs of geometric loci specified using standard Dynamic Geometry Systems (DGS). Complementing the graphing abilities of the considered DGS, the equations of the loci produced by the application are remotely computed using symbolic algebraic techniques from the…

This paper proposes modelling based learning as a tool for learning and teaching mathematics. The example of modelling real world problems leading to the exponential function as the solution of differential equations is described, as well as the observations about students' activities during the process. The students were acquainted with the…

This article describes a vision of student use of dynamically connected representations as they investigate mathematical ideas. Although this article is intended to generate discussion about the potential of dynamically connected representations, we situate the discussion within actual descriptions of its use with students in a newly designed…

This paper shows the basic concept of Functional Modelling in mathematics education which has become more and more important in recent years. Hence it is necessary to think about suitable graphical methods to explain the fundamental idea of a function and its influence on values and other functions. PROGRAPH diagrams are a potentially good way to…

As a response to the "Mathematics Problem" many universities introduced mathematics support provision. These additional learning opportunities were invariably in a specific physical location and available at certain times. In order to increase the number and types of students who could access support e-learning resources were made…

This paper provides some examples of how lecturers in our department have attempted to tackle the didactical challenges posed by CAS. In addition, it outlines the research approaches we took to better understand these issues.

In this paper, difficulties of students in the case of computer-mediated teaching of geometry in a traditional classroom are considered within the framework of "transactional distance", a concept well known in distance education. The main interest of this paper is to record and describe in detail the different forms of…

This paper reports on a design experiment in the domain of number sequences conducted in the course of the "WebLabs" project. We iteratively designed and tested a set of activities and tools in which 10-14 year old students used the "ToonTalk" programming environment to construct models of sequences and series, and then shared…

This paper extends and develops theories of mathematical learning to provide a framework for the analysis of classroom video data of students working at a computer in a task aimed at increasing understanding of multiple representations of quadratic functions. Student interactions are coded using novel software tools in the process of analysis, and…