This study aims to explore an educational learning environment that supports students to learn conceptual modelling with the unified modelling language (UML). In this study, we call the describing models "UML programming." In this paper, we show an educational UML programming environment for science, technology, engineering, art, and…

Proof and proving are important components of school mathematics and have multiple functions in mathematical practice. Among these functions of proof, this paper focuses on the discovery function that refers to invention of a new statement or conjecture by reflecting on or utilizing a constructed proof. Based on two cases in which eighth and ninth…