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…

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…

The goal of this paper is to promote the use of R and Python as high-level, free, open-source programming environments that can be used as a computational and visualization tool for teaching differential equations. Both R and Python also allow for creating reproducible dynamic documents using Markdown, which combines live code, plain text, and…

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.

Programming with Computer Algebra Systems (CAS) has become an important tool as a support in Computer lectures in Mathematics subjects aimed at Engineering degrees. In this paper, the authors present their teaching experience within the concept "Line Integration" with the help of two specific CAS: DERIVE and MAXIMA. When introducing the…

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…

Jutge.org is an open educational online programming judge designed for students and instructors, featuring a repository of problems that is well organized by courses, topics, and difficulty. Internally, Jutge.org uses a secure and efficient architecture and integrates modern verification techniques, formal methods, static code analysis, and data…

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

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…