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

Computer programming and mathematical algorithms are natural partners in the development of programming skills, logical thought, and a deeper understanding of mathematical concepts. We present the details of a course which blends the two at the sophomore level. This course is required of our mathematics majors, but attracts mathematics minors from…

This paper presents a case study that is part of a research studying how university statistics teachers integrate digital tools in their practice. The case study is of a teacher who claims to follow constructionist ideas for her teaching of statistics, using the R programming language. The teacher developed a series of activities with R, aiming to…

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…

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.

In response to a recent Canada-wide survey, where it was found that mathematicians use computer programming much less in their teaching than in their research, an exploratory study involving 14 Canadian mathematicians sought to gain a deeper understanding of the place of programming in both contexts. To capture the differences in the degree of…

We have adapted our two laboratories at our department based on our research results, which were presented at the conference CADGME 2014 in Halle and published in the journal. In this article we describe the hardware and software structure of the Laboratory 1: LabIT4KT-1: Laboratory of Computer Modelling and the Laboratory 2: LabIT4KT-2:…

Dynamic Geometry Software (DGS) is a powerful tool which enables students to move geometric objects interactively. Through experimental simulations with DGS, mathematical facts and background mechanisms are accessible to students. However, especially when those facts and mechanisms are complicated, it is not so easy for some students to record and…

We can consider two basic views, when using mathematical software in the teaching of mathematical subjects. First: How to learn to use specific software for the specific tasks, e. g., software Statistica for the subjects of Applied statistics, probability and mathematical statistics, or financial mathematics. Second: How to learn to use the…

At Wake Forest University, a student who is blind enrolled in a second course in statistics. The course covered simple and multiple regression, model diagnostics, model selection, data visualization, and elementary logistic regression. These topics required that the student both interpret and produce three sets of materials: mathematical writing,…

The flipped classroom model of teaching can be an ideal venue for turning a traditional classroom into an engaging, inquiry-based learning (IBL) environment. In this paper, we discuss how two instructors at different universities made their classrooms come to life by moving the acquisition of basic course concepts outside the classroom and using…

Discrete Mathematics instructors and students have long been struggling with various labelling and scanning algorithms for solving many important problems. This paper shows how to solve a wide variety of Discrete Mathematics and OR problems using assignment matrices and linear programming, specifically using Excel Solvers although the same…

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 advancement of computer technology used for research is creating the need to change the way classes are taught in higher education. "Bringing Research Tools into the Classroom" has become a major focus of the work of the Office of Educational Innovation and Technology (OEIT) for the Dean of Undergraduate Education (DUE) at the…

The aim of the 2018 International Association for Development of the Information Society (IADIS) Cognition and Exploratory Learning in the Digital Age (CELDA) conference was to address the main issues concerned with evolving learning processes and supporting pedagogies and applications in the digital age. There have been advances in both cognitive…