In this paper we develop a case for introducing a new teaching tool to undergraduate mathematics. Lean is an interactive theorem prover that instantly checks the correctness of every step and provides immediate feedback. Teaching with Lean might present a challenge, in that students must write their proofs in a formal way using a specific syntax.…

The instrumental approach is a useful theoretical lens for understanding students' learning processes with a main focus on the transformation of an artefact (a human design for a goal-directed activity) into a meaningful instrument (i.e. an artefact and schemes developed by the student). In this paper, we articulate the instrumental approach for…

We have integrated computer programming instruction into the required courses of our mathematics major. Our majors take a sequence of four courses in their first 2 years, each of which is paired with a weekly 75-minute computer lab period that has a dual purpose of both computationally exploring the mathematical concepts from the lecture portion…

We discuss teaching and learning situations that surfaced when computer programming and mathematics were brought together in a course where students write computer code to explore mathematics problems. Combining programming and mathematics creates a rich ecosystem which, on top of traditional mathematics activities (writing solutions, proofs,…

In this paper, we discuss the Experimental Mathematics course taught at Valparaiso University since 2009. We focus on aspects of the course that facilitate students' abilities to ask and explore their own research questions.

Biostatistics courses are integral to many undergraduate biology programs. Such courses have often been taught using point-and-click software, but these programs are now seldom used by researchers or professional biologists. Instead, biology professionals typically use programming languages, such as R, which are better suited to analyzing complex…

In this work, we review and share some useful technology for mathematics educators that can help to enhance their pedagogical practices to motivate students to improve their further understanding of differential equations after an initial exposure to the topic in an undergraduate class. In particular, we present some innovative ways to employ…

This article examines the use of the computer algebra system SAGE for undergraduate student research projects. After reading this article, the reader should understand the benefits of using SAGE as a source of research projects and how to commence working with SAGE. The author proposes a tiered working group model to allow maximum benefit to the…

Written communication and computer programming are foundational components of an undergraduate degree in the mathematical sciences. All lower-division mathematics courses at our institution are paired with computer-based writing, coding, and problem-solving activities. In multivariable calculus we utilize MATLAB and LATEX to have students explore…

We report on an empirical study grounded in our sustained implementation over ten years of a sequence of three-term undergraduate core mathematics courses centred on microworlds. The survey study investigates students' views on 15 competencies potentially developed as they, individually or in pairs, create 12 Exploratory Objects, i.e.,…

Dynamic/interactive graphing applets can be used to supplement standard computer algebra systems such as Maple, Mathematica, Derive, or TI calculators, in courses such as Calculus, Differential Equations, and Dynamical Systems. The addition of this type of software can lead to discovery learning, with students developing their own conjectures, and…

In June 2018 the Canadian Mathematics Education Study Group/Groupe Canadien d'étude en didactique des mathématiques (CMESG/GCEDM) held its 42nd meeting in the idyllic setting of Squamish, British Columbia. This meeting marked the first time CMESG/GCEDM had been in British Columbia since 2010 and the first time it had been held at Quest University.…

The projects Xmath (Bringslid and Canessa, 2002) and dMath (Bringslid, de la Villa and Rodriguez, 2007) were supported by the European Commission in the so called Minerva Action (Xmath) and The Leonardo da Vinci programme (dMath). The Xmath eBook (Bringslid, 2006) includes algorithms into a wide range of undergraduate mathematical issues embedded…