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 this paper, we explore how the typical second year undergraduate topic of matrix diagonalisation can be applied to solve a geometric problem which arises frequently in Vector Calculus: to find the curve of intersection of a plane and a surface. We use GeoGebra, which offers a cost-free and dynamic interface, to explore a specific variant of…

This paper reports on a novel corequisite design and implementation for College Algebra at Florida International University. The corequisite course uses online, just-in-time, prerequisite assignments delivered on an open-educational platform. Students get help from near-peer learning assistants inside a math emporium environment. The course…

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…

Git, as the leading version-control system, is frequently employed by software developers, digital product managers, and knowledge workers. Information systems (IS) students aspiring to fill software engineering, management, or research positions would therefore benefit from familiarity with Git. However, teaching Git effectively can be…

With the proliferation of easy-to-use generative AI tools such as ChatGPT, students in college composition courses can and do take advantage of such technology to assist with essay writing. While a growing body of research does not see using these tools as a problem in itself, institutional, departmental, and instructor policies about generative…

A new undergraduate thin-layer chromatography laboratory experiment devoted to quantitative determination of disulfiram in Anticol formulation is presented. The proposed activity can be a part of a chromatographic methods of analysis course as well as a general chemistry course. To carry out a quantitative analysis, an image analysis technique was…

Introduction: Recent advancements in generative AI (GAI) platforms appear to mark an abrupt shift in higher education. Statement of the Problem: Instructors have a responsibility to teach students to use GAI, which is a promising tool for promoting personalized, student-centered, process-focused learning environments. Literature Review: Drawing on…

Today lively debates are unfolding about artificial intelligence (Jackson, 2024; Peters et al., 2024; Sidorkin, 2024). Despite these debates, the topic remains undertheorized (Gourlay, 2024) in relation to various matters pertaining to its use, benefits, risks, and implications. As argued in a recent editorial for this journal (2024), it is…

This article presents a project that uses a business context to introduce students to a multiphase approach to analytics while relying primarily on an introductory Excel course for prerequisite knowledge. A range of analytics techniques--including Excel Pivot tables and charts, regression trend lines, and linear programming--are combined into an…

I explore some facts about the area, position, etc. of the Steiner ellipse using GeoGebra and numerical analysis. Students can use these for mathematical inquiry.

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…

We report the design of a low-cost electrochemical workstation and open-source graphical user interface capable of performing a variety of electrochemical methods in an undergraduate teaching laboratory. The instrument--based on the popular Arduino microcontroller board--can be constructed from common components for $40 USD. The modular design of…

Artificial intelligence (AI) is fundamentally reshaping classroom experiences. In this activity, students in a graduate-level project management class engaged in real-time conversations with AI- powered chatbots as though they were actual people. Students were required to perform a stakeholder analysis on the key stakeholders involved in their…