In this paper, we describe an educational activity involving the use of a digital artifact, implemented in a visual programming environment, for mediating the learning of axial symmetry in primary school through algorithmics and computer programming. The educational activity was designed with the aim of bringing out increasingly…

As computational thinking (CT) is new to teachers, they need support on how CT integration will work. This study examines the use of a hypothetical learning trajectory (HLT) to support teachers in integrating computational thinking into mathematics lessons utilizing GeoGebra. By employing the educational design research (EDR) methodology, the…

In this article, we focus on how spatial knowledge can be articulated with the integration of programmable floor robots in the mathematics classroom. We describe the observation grid we conceived to take into account three distinct dimensions: spatial knowledge, robotics and computer programming. Then, we implement this tool to analyse mathematics…

Using robot programming activities for learning in the classroom is one way to drive interest and engagement in the STEM field among students, especially girls. And this is afield that is particularly characterized by an underrepresentation of women. Accordingly, many countries are increasingly integrating activities related to computer science…

Stepwise program refinement techniques can be used to simplify program verification. Programs are better understood since their main properties are clearly stated, and verification of rather complex algorithms is reduced to proving simple statements connecting successive program specifications. Additionally, it is easy to analyse similar…

Programming with Computer Algebra Systems (CAS) has become an important tool as a support in Computer lectures in Mathematics subjects aimed at Engineering degrees. In this paper, the authors present their teaching experience within the concept "Line Integration" with the help of two specific CAS: DERIVE and MAXIMA. When introducing the…

The emphasis in several courses at technical faculties is on using a computer to perform numerical methods. Instead of focusing on mathematical rigorousness such courses usually concentrate on demonstrating the practical usage of numerical mathematical methods to the students. The practical usage of numerical methods is best learned by exposing…

In this work, we review and share some useful technology for mathematics educators that can help to enhance their pedagogical practices to motivate students to improve their further understanding of differential equations after an initial exposure to the topic in an undergraduate class. In particular, we present some innovative ways to employ…

Dynamic Geometry Software (DGS) is a powerful tool which enables students to move geometric objects interactively. Through experimental simulations with DGS, mathematical facts and background mechanisms are accessible to students. However, especially when those facts and mechanisms are complicated, it is not so easy for some students to record and…

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…

From the point of view of functional programming, a computational process to solve a problem is described as a mathematical function taking some arguments (corresponding to the data of the problem) and returning as a result its solution. Turtle Graphics can be used to describe the movements of a virtual turtle, which leaves a trail along his path…

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…

As part of their undergraduate mathematics curriculum, students at Brock University learn to create and use computer-based tools with dynamic, visual interfaces, called Exploratory Objects, developed for the purpose of conducting pure or applied mathematical investigations. A student's Development Process Model of creating and using an Exploratory…

Dynamic/interactive graphing applets can be used to supplement standard computer algebra systems such as Maple, Mathematica, Derive, or TI calculators, in courses such as Calculus, Differential Equations, and Dynamical Systems. The addition of this type of software can lead to discovery learning, with students developing their own conjectures, and…

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…