Eye gaze tracking has recently become indispensable for domains like virtual reality, augmented reality, human-computer interaction and advertisement. The commercial eye gaze tracking equipment is too expensive to be used by the masses. In this manuscript, a non-invasive, low-resolution ordinary camera-based system has been proposed for tracking…

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…

Courses: This activity can be used in writing-based (communication) courses across various disciplines including, but not limited to, introduction to writing and rhetoric, business communication, and communication research methods. Objectives: On completion of this activity, students will develop critical reading, thinking, and writing skills as…

As technology advances, virtual museums have gained popularity as a new form of learning resources. However, persuading audiences to absorb and comprehend a tremendous volume of information in an unregulated online environment is the challenge. Considering the use of an online application in educational practice, collaborative teamwork can be…

The purpose of this study is to examine the performances of university students' using dynamic mathematics software GeoGebra in argumentations and proving processes. A task related to the limit involving "sinx/x" was designed and 18 university students worked on the task during the collaborative learning, scientific debate, and…

Calculating analytical uncertainties as a part of method validation is a relevant aspect of field and laboratory practices in instrumental analytical chemistry subjects, which usually require complex algorithms. This work describes the development and didactic use of an automatic and straightforward informatics tool, implemented in an Excel macro,…

We present an investigation of the infinite sequences of numbers formed by calculating the pairwise averages of three given numbers. The problem has an interesting geometric interpretation related to the sequence of triangles with equal perimeters which tend to an equilateral triangle. Investigative activities of the problem are carried out in…

Mathematical proofs play a paramount role in developing 21st-century skills, and the use of technology in mathematics learning has widely paved the way in the instruction of mathematical proofs. In mathematics education, GeoGebra has a significant role as a dynamic mathematics software in supporting students' learning process. This study aims to…

This research aims to design immersive virtual reality with cognitive conflict to support practical learning of quantum physics. This type of research is design research through the stages of needs analysis, product design, validity test, and practicality test. The needs analysis used questionnaire sheets distributed with Google Forms and obtained…

With the ever-evolving implementation of technology in the teaching and learning of geometry, the task of designing and/or finding suitable questions or problems that can facilitate and promote mathematical reasoning and accurately assess students' understanding of the subject matter can be a challenge. It is the aim of this article to share the…

The paper argues that there is a need for new approaches to teaching proof with newly-available technology. It contributes to filling this need by opening a discussion on digital proof assistants, programs that allow one to do mathematics with the aid of a computer, construct proofs, and check their correctness. The paper starts by exploring such…

As generative artificial intelligence tools like ChatGPT become increasingly integrated into educational environments, understanding their impact on critical thinking is crucial. Despite growing concerns about AI's potential to diminish students' independent reasoning, there is a lack of research tools specifically designed to evaluate students'…

Individuals are controlled by tests in every advanced society when they want to be admitted in educational courses, to proceed from one stage to the next, or to be given a certificate (Shohamy, 2001b). Accordingly, the present study was carried out to construct and validate educational, social, and psychological consequences questionnaires of…

The significance of assessment in driving learning is undeniable, particularly in oral assessments like viva voce where students express themselves verbally. However, traditional viva voce examinations' challenges include reliability, objectivity, content validity, time constraints, varying question difficulty levels, inconsistency in questioning…

This study aimed to develop a valid and reliable scale to measure individuals' and organizations' attitudes toward the use of ChatGPT, emphasizing the necessity for organizations to adapt to rapidly evolving information and technology environments. The methodology consisted of three stages. In the first stage, a 13-item draft scale was…