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…

This is the first of four columns by Tim Erikson which introduces us to the Common Online Data Analysis Platform (CODAP). CODAP is a free, web-based software tool that your students can use for many types of tasks. This first column shows how CODAP can be used for mathematical modelling and where it might fit with the "Australian Curriculum:…

NoSQL databases have been used in organizations for decades. Few database textbooks on the market, however, have suitable materials about NoSQL beyond general introductions for typical business students. In fact, users of the typical NoSQL systems on the software market need to have certain computer programming skills. This teaching tip introduces…

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…

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…

Today math teachers can best reach their students and show them how math surrounds us by using manipulatives, children's literature, and GeoGebra while teaching mathematics. These are some of the best pedagogical practices for teaching mathematics today. In our high-tech world, students need to be proficient in science, technology, engineering,…

We present a case study to teach data visualization with Tableau in an introductory business analytics course. The case uses publicly available data sets from touringplans.com that record wait times for various attractions at Disney World in Orlando, Florida. In the case study, students use Tableau to clean, organize, and analyze wait time data,…

This phenomenographic study investigates how student teachers use TikTok to discover, analyze, evaluate, and adopt classroom management information and strategies. Student teachers often struggle with classroom management regarding student behavior, classroom environment, and instruction. To address these concerns, they turn to traditional print,…

This paper presents the operation of the educational software, Real Estate Data Analyzer, to teachers and future teachers. It is a specific software that allows students carry out complete statistical analysis projects on the characteristics of the buildings that surround them.

In this article, the authors share activities designed to help students make a connection between the complex roots of X[superscript 2] - 2x + 5 = 0 and the graph of y = X[superscript 2] - 2x + 5. We piloted these activities in three precalculus classes. The activities involved both concrete and technological representations of the mathematical…

Integrating ChatGPT into educational contexts has become prevalent due to its potential to revolutionize teaching, learning, and research. However, to ensure positive use, it is necessary to design learning environments that effectively incorporate this technology. This study employed self-determination theory as an undergirding framework to…

This teaching tip explores the integration of AI tools into database education. The author describes how instructors can use AI tools to prepare teaching materials and how students can use AI to facilitate database development. The teaching tips provided encompass both course-level objectives and assignment-specific strategies. The inclusion of AI…

Virtual laboratories and simulations have emerged as innovative solutions for science teaching. However, existing resources have various limitations and constraints including cognitive load/mental burden and limited coverage of all necessary steps in scientific inquiry, focusing mainly on the experimental simulation. To bridge this gap and address…

Sequences are an important topic--not only in mathematics but also in the mathematics curriculum. Exploring sequences related to medial triangles offers learners opportunities to solve problems involving sequences within geometric contexts. Sequences related to medial triangles are also a rich source of beautiful and interesting geometric patterns…

At the end of the 18th-century, Charles Coulomb developed an apparatus to study the force between two electrified beads which allowed him to obtain his famous Coulomb's law. Today, as one of the most fundamental outcomes in classical electromagnetism, his result is revisited in most high school physics courses, where students are asked to…