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…

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…

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…