The purpose of this note is to describe a classroom activity that can be used in introductory Operations Research courses. It consists of modelling a one-dimensional puzzle using mathematical programming to produce glider models. The exercise is designed to motivate the students in solving a problem with the opportunity of producing by themselves…

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 article considers starting with an existing SIMIODE modeling scenario [Winkel, B. (2015). 1-031-CoolIt-ModelingScenario. SIMIODE (Version 2.0). "QUBES Educational Resources." https://doi.org/10.25334/3WG8-EC31] that develops Newton's law of cooling by considering data on the cooling of a beaker of water in a room, and expanding upon…

Recreational Programming (RecPro) is the discipline that encourages the study of computer programming through ludic problems. Problems that are typically studied within this discipline are similar to those of Recreational Mathematics (RecMat), which sometimes leads to the confusion of these two disciplines. The objective for RecPro is to write…

In this paper "Derive" functions are provided for the computation of the Moore-Penrose inverse of a matrix, as well as for solving systems of linear equations by means of the Moore-Penrose inverse. Making it possible to compute the Moore-Penrose inverse easily with one of the most commonly used Computer Algebra Systems--and to have the blueprint…

The determination of bounds for A(n, d, w), the maximum possible number of binary vectors of length n, weight w, and pairwise Hamming distance no less than d, is a classic problem in coding theory. Such sets of vectors have many applications. A description is given of how the problem can be used in a first-year undergraduate computational…

The use of digital elevation models, which represent the surface of the earth by a matrix of heights, has proved an ideal introductory topic for developing both the matrix-handling and computational skills of undergraduate mathematicians. This article looks at the solving of an easily understandable, but not necessarily simple problem: given a…

A Mathematica[TM] package is described that uses simulations and animations to illustrate key concepts in harmonic oscillation and electric circuits for students not majoring in physics or mathematics. Students are not required to know the Mathematica[TM] environment: a user-friendly interface with buttons functionalities and on-line help allows…

One of the most astonishing properties when studying numerical series is that the sum is not commutative, that is the sum may change when the order of its elements is altered. In this note an example is given of such a series. A well-known mathematical proof is given and a MATLAB[C] program used for different rearrangements of the series…

While the object oriented paradigm and its instantiation within programming languages such as Java has become a ubiquitous part of both the commercial and educational landscapes, its usage as a visualization technique within mathematics undergraduate programmes of study has perhaps been somewhat underestimated. By regarding the object oriented…

Computer operations involving complex numbers, essential in such applications as Fourier transforms or image processing, are normally performed in a "divide-and-conquer" approach dealing separately with real and imaginary parts. A number of proposals have treated complex numbers as a single unit but all have foundered on the problem of the…