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…

We introduce the free web-app PyGgb -- the combination of the well-known programming language Python and the dynamic mathematics system GeoGebra. Motivated by the desire to provide an introduction to Python coding in the familiar context of mathematics and geometry, PyGgb allows GeoGebra constructions to be created using Python code. We outline…

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…

In the rapidly evolving landscape of higher education, the clarity, measurability, and alignment of course objectives are more critical than ever. Effective course design hinges on well-defined learning objectives that guide both instruction and assessment. However, creating these objectives can be a daunting task for faculty, especially when…

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.

This paper seeks to answer the question: How does the handling of the contradictions that emerge in activities of initial mathematics teacher education contribute to the learning of geometric knowledge when pre-service teachers and the teacher educator solve geometric construction problems with GeoGebra? A dialectical-materialist approach is used…

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,…