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…

Successful comprehension is only possible when children draw inferences about ideas implicit or missing in discourse. Supporting inference-making with explicit instruction must start early given its importance in comprehension and knowledge development. However, students who experience difficulties with early reading skills often do not receive…

Successful comprehension is only possible when children draw inferences about ideas implicit or missing in discourse. Supporting inference-making with explicit instruction must start early given its importance in comprehension and knowledge development. However, students who experience difficulties with early reading skills often do not receive…

This paper explores the efficacy of ChatGPT, a generative artificial intelligence in educational contexts, particularly concerning its potential to assist students in overcoming academic challenges while highlighting its limitations. ChatGPT is suitable for solving general problems. When a student comes across academic challenges, ChatGPT may…

Many management information systems (MIS) faculty have adopted a project-oriented approach in their systems analysis and design courses. In these courses, students use a software development methodology to create a web or mobile application project, which can be based on a predefined case or developed for an external stakeholder. Because most…

In the changing realm of academic research, Generative Artificial Intelligence (AI) is a significant force, altering the way knowledge is pursued and understood. "Enhancing Doctoral Dissertations Ethically with AI: A Comprehensive Guide" serves as an indispensable guide for doctoral students and educators on the frontline of this shift,…

ChatGPT is having an impact on students, and information systems (IS) and computing academic professionals alike. Our goal for this paper is to help faculty and students know the conditions in which generative AI such as ChatGPT should or should not be used. To that end, we describe the development of a 2x2 matrix. On the horizontal axis we have…

The capabilities of large language models (LLMs) in language comprehension, conversational interaction, and content generation have led to their widespread adoption across various educational stages and contexts. Given the fundamental role of education, concerns are rising about whether LLMs can serve as competent teachers. To address the…

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…

This study investigates the embodied, symbolic, and formal reasoning of two fourth-year university students while exploring geometric reasoning about the Cauchy-Riemann equations with the aid of "Geometer's Sketchpad (GSP)." These students participated in a teaching activity designed to encourage shifts between embodied, symbolic, and…

Employing best practices for teaching mathematics like math manipulatives, children's literature picture books, and GeoGebra can all be connected and better help to prepare students for a STEM world to develop confident young individuals in doing mathematics in a world of AI, distance learning, and online with emerging technologies. This paper…

This study presents a comprehensive bibliometric analysis of Artificial Intelligence (AI) research for Multimedia in Education from 2020 to 2024. Using the Dimensions AI database, VOSviewer software and Scimago Graphica, we examined 45 publications to identify key trends, influential contributors, and emerging directions in this rapidly evolving…

Vectors have important applications both within and outside mathematics, but the concept of vectors is often taught to students in a less-than-engaging way, leading to students feeling inadequate and frustrated. This article describes the use of a mathematical microworld, "Driving with Vectors," to explore vectors using equitable…

The problem under study was that even with training, teachers have difficulty implementing behavior management programs. The purpose of this basic qualitative study was to explore middle school teachers' perceptions of the challenges they encounter in implementing behavior management programs to encourage positive student behavior. The theory of…

Artificial intelligence is the simulation or development of reasoning and other human-like cognitive abilities by computers. Currently, there is limited exploration of applications of artificial intelligence tools for teaching reading to children in the early childhood and elementary grades, including how artificial intelligence might be used to…