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 short note discusses how the optimality conditions for minimizing a multivariate function subject to equality constraints have been covered in some undergraduate Calculus courses. In particular, we will focus on the most common optimization problems in Calculus of several variables: the 2 and 3-dimensional cases. So, along with sufficient…

Students exit calculus with understandings of change that want for conceptual depth and are disconnected from real-world contexts. In this paper, we present a problem that will develop their skills in using "change" concepts for learning differential equations through modelling. The problem comes from a qualitative study of how STEM…

The student experience with mathematical modelling has the potential to differ in nature to the experience of a typical mathematics student. The research reported in this paper forms part of a broader study looking into tertiary learning experiences for mathematical modelling. This paper reports on: What are the student experiences when learning…

The natural exponential and logarithm are typically introduced to undergraduate engineering students in a calculus course using the notion of limits. We here present an approach to introduce the natural exponential/logarithm through a novel interpretation of derivatives. This approach does not rely on limits, allowing an early and intuitive…

Differential equations are an important mathematical concept used to model processes in many disciplines. However, the literature shows that students experience many difficulties when studying this topic. We investigate the effect of using context while teaching differential equations on engineering students' ability to construct and interpret…

Jordan canonical form (JCF) is one of the most important, and useful, concepts in linear algebra. Mathematics, physics, biology, science and engineering undergraduates often find the first application of real JCF in the discipline of differential equations (continuous models) to solving systems of differential equations. In this work, we apply…

The Students' Approaches to Learning (SAL) tradition comprehends an approach to learning as a combination of students' aims for learning and the processes used to achieve them. The tradition values a deep approach to learning; this is the case also in the context of university mathematics, where a deep approach is seen as a requirement for…

Storytelling is a valuable form of human expression that allows audience members to connect their own experiences with the narrative. As a pedagogical tool, storytelling has been explored mainly in primary school education but rarely in higher education. However, its potential for assisting students in learning mathematics and the societal…

Creativity is crucial for doing mathematics, yet many United States students may not have opportunities to experience it in their courses. Moreover, the literature base on views of mathematical creativity lacks the student perspective. To explore the connections between views of and feeling creative, we examine differences in views of creativity…

The systematic design and analysis of tasks which can be implemented in first-year university courses and point to advanced inner- and extra-mathematically rich issues and their rationales is an open problem in the didactics of mathematics in higher education. Potentials of such tasks can be seen with regard to learning processes in the first year…

The aim of this paper is to present a teaching proposal for the theoretical part relating to the first- and second-order linear difference equations with constant coefficients suitable for the first-year students at various types of universities. In contradistinction to the methods often applied (memorization of algorithms without a proper…

In spring 2018, an inquiry-oriented differential equations course was offered at the Lebanese American University. This paper highlights students' comprehension of some qualitative aspects of differential equations, namely their understanding of the equations and their solutions. It also explores the students' success in moving between the…

This study reports on in-service mathematics teachers' views of geometry in the context of ethnomathematics. A convergent parallel mixed method design which includes both quantitative and qualitative methods was used to provide a deeper understanding of how the participants view geometry from an ethnomathematics perspective. Questionnaires and…

A simple forward approach for solving linear Diophantine equations is presented, which does not involve using backward substitutions. It is suitable for teaching undergraduate students as an alternative to the backward substitution method commonly described in mathematics textbooks.