As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

In the wake of the present inclusion of programming in mathematics education, which is a feature of curricular revisions in many countries, we have analysed newly inserted programming activities in mathematics textbooks. The aim was to investigate how such activities relate to and potentially affect students' opportunities to learn mathematics.…

The reasons for teaching programming in school are indeed manifold. Programming can for example be utilized as a vehicle for understanding and learning particular mathematical subject matter, or as a tool for solving mathematical problems. In this paper, however, we propose to utilize programming as a vehicle for developing mathematical…

Background: As highly interactive hands-on learning tools, robots can inspire new generations of mathematics students. However, to date, no comprehensive systematic reviews have been conducted on robot-assisted mathematics education from K-12 through higher education. Hence, it is important to explore the research evidence of robot-assisted…

Computational thinking (CT) is becoming increasingly important as a learning content. Subject-integrated approaches aim to develop CT within other subjects like mathematics. The question is how exactly CT can be integrated and learned in mathematics classrooms. In a case study involving 12 sixth-grade learners, CT activities were explored that…

Background: Empirical studies have revealed students' development of computational thinking (CT) and mathematical thinking (MT) during programming-based mathematical problem-solving, highlighting specific CT concepts or practices that serve as learning goals or outcomes. However, implementing programming-based mathematics instruction requires…

In Spring 2020, the need for redesigning online assessments to preserve integrity became a priority to many educators. Many of us found methods to proctor examinations using Zoom and proctoring software. Such examinations pose their own issues. To reduce the technical difficulties and cost, many Zoom proctored examination sessions were shortened;…

Physics, even though it is guided by simple principles, tends for many topics to be obscured in the mathematics redundancy. MATLAB®, as interactive software for computer algebra, has already had an important impact on the way physics is taught by educators. It has also had a substantial impact on the way research is performed by students to…

This research investigates the impact of mathematical problems created with Scratch on the problem-solving skills of 8th-grade middle school students. The research was based on the descriptive design of mixed research approaches. In this direction, the research model was single-group pretest-posttest design, which is a weak experimental design…

By integrating computational thinking (CT) based mathematical reasoning with early childhood education through programming a dinosaur game in Scratch, this study aims to enhance the pedagogical skills of pre-service teachers by using learning objects (LOs). Also, explores frameworks for LOs construction to align with pedagogical goals, emphasizing…