Nowadays, the educational process is enriched with technological tools such as Arduino and Micro:bit. These tools offer both tangible and graphical interaction, however, widespread adoption by educators faces limitations. Many educators hesitate to utilize them, primarily due to lacking training. Therefore, this study examines educators'…

Contribution: Prior studies on tangible versus graphical user interfaces have reported controversial findings concerning children's preferences. This paper shows that their preference profiles in the domain of introductory programming are associated with gender and age for both interfaces. Background: The relevant literature mainly consists of…

Geometry theorem proving involves skills that are difficult to learn. Instead of working with abstract and complicated representations, students might start with concrete, graphical representations. A proof tree is a graphical representation of a formal proof, with each node representing a proposition or given conditions. A computer-assisted…