This paper presents a series of basic computational problems that are mathematically and/or graphically appealing, and provides an idea of places one might go in trying to understand what is happening, integrating mathematics, computation, and graphics. The real point of this paper is to make a case, through those examples, for computation as an…

Industrial-scale models require considerable setup time; hence, once built, they are used in myriad ways to consider closely related cases. In practice, the code for these models frequently evolves without appropriate notational choices, largely as a result of the lengthy development time of, and the number of individuals contributing to, their…

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

We are interested in understanding how university students learn to use programming as a tool for "authentic" mathematical investigations (i.e., similar to how some mathematicians use programming in their research work). The theoretical perspective of the instrumental approach offers a way of interpreting this learning in terms of…

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…

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

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…

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

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

In this article we present an "instrumental approach" in mathematics education, which focuses on the interactions between students, teachers, and "artefacts." This approach analyses "mediations" attached to the use of a given artefact and "instruments" developed by the subjects from this artefact along…

Web-based testing has become a ubiquitous self-assessment method for online learning. One useful feature that is missing from today's web-based testing systems is the reliable capability to fulfill different assessment requirements of students based on a large-scale question data set. A promising approach for supporting large-scale web-based…

The aim of this study is to investigate the effectiveness of computer-based/assisted teaching method using ISETL [Interactive SET Language] programming language on students' understanding of subgroup and group concepts. The data was collected from a group of students by means of written assessments and clinical interviews. Analysis of student's…

The objectives of this research were to review existing computer-assisted instruction systems for propositional calculus proofs or elementary logic and to develop an instructional computer program that guides students in the valid construction of propositional calculus proofs. The system is unique in that it provides assistance at each step of the…