We introduce the free web-app PyGgb -- the combination of the well-known programming language Python and the dynamic mathematics system GeoGebra. Motivated by the desire to provide an introduction to Python coding in the familiar context of mathematics and geometry, PyGgb allows GeoGebra constructions to be created using Python code. We outline…

Geometric concepts are fundamental to early geometry education, and developmentally appropriate practices are crucial for teaching them to young children. Robotic coding is an effective tool in many areas of early mathematics and has significant potential in teaching geometric concepts. This study aimed to test the impact of a research-based…

We report on three episodes from a case study where upper secondary students numerically explore the definite integral in a Python environment. Our research questions concern how code can mediate and support students' mathematical thinking and what kind of sociomathematical norms emerge as students work together to reach a mutual understanding of…

Studies have shown that learning mathematics through programming can be complex and that the programming itself might even hamper students' learning. However, few studies have focused on the role of the teacher and the teacher-student interaction that aims to support students' learning when using programming. The present study examines a didactic…

This article shows conditions for how an educational digital tool can open doors to an increasingly playful world -- and address some of the issues with introducing digital maths in early childhood education. Guided by a design-based research approach, the multimodal design of the educational app-based game DigiMat was iteratively created by a…

The research reveals the problem of training human resources in society using digital technologies. The current level of development of the labor force is closely related to the change in the improvement of the technical basis of production activities. The role of a teacher is considered, which is defined as a highly qualified teacher who seeks to…

The 2017 reform of the Swedish national curriculum requires that all compulsory school mathematics and technology teachers integrate programming into their teaching. The new programming policy poses a particular challenge since a majority of the affected teachers have little or no previous programming experience. This paper reports on a study of…

This paper reports on two teachers' perceptions as part of a project examining the learning that took place when 9 and 10-year-old children used "ScratchMaths" in their programme. The project used design-based methodology, which incorporated video-recorded classroom excerpts, teacher interviews, and teacher analysis and review of their…

This volume focuses on the implications of digital technologies for educators and educational decision makers that are not widely represented in the literature. The chapters contained in the volume are based on the presentations at the 2020 edition of the CELDA conference and cover multiple developments in the field such as deploying learning…

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 article introduces a software application (MATH) supporting an education of Applied Mathematics, with focus on Numerical Mathematics. The MATH is an easy to use tool supporting various numerical methods calculations with graphical user interface and integrated plotting tool for graphical representation written in Qt with extensive use of Qwt…

These proceedings contain the papers of the 14th International Conference on e-Learning (EL 2020), which was organised by the International Association for Development of the Information Society, July 21-23, 2020. This conference is part of the 14th Multi Conference on Computer Science and Information Systems 2020, July 21-25, which had a total of…

Teaching computer programming to young children has been considered difficult because of its abstract and complex nature. The objectives of this study are (1) to investigate whether an innovative educational technology tool called Scratch could enable young children to learn abstract knowledge of computer programming while creating multimedia…

These proceedings contain the papers and posters of the 13th International Conference on Mobile Learning 2017, which was organised by the International Association for Development of the Information Society (IADIS), in Budapest, Hungary, April 10-12, 2017. The Mobile Learning 2017 Conference seeks to provide a forum for the presentation and…

In June 2018 the Canadian Mathematics Education Study Group/Groupe Canadien d'étude en didactique des mathématiques (CMESG/GCEDM) held its 42nd meeting in the idyllic setting of Squamish, British Columbia. This meeting marked the first time CMESG/GCEDM had been in British Columbia since 2010 and the first time it had been held at Quest University.…