The field of Cryptography is rapidly evolving, and the development of quantum computers is on the rise. Lattice-based cryptosystems are promising candidates for quantum resistance, and it is the responsibility of institutions to prepare students for related careers. Undergraduate students in mathematics and mathematics-adjacent fields can -- and…

A student-led mathematics bootcamp has been designed and implemented to help foster community building, improve confidence in mathematical skills, and provide mathematical resources for incoming physical chemistry doctoral students. The bootcamp is held immediately before the start of the first semester of graduate school and uses an active…

NP-complete problems such as the traveling salesman problem (TSP) play a prominent role in most advanced undergrad/graduate courses in discrete optimization modeling. Teaching such an important topic from a purely mathematical perspective without discussing specific applications may result in reduced student interest and motivation. The DeLand…

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…

This paper examines the limited proficiency to engage in programming algorithms among university students in information technology and information system in several universities across Surabaya, Indonesia. The purpose of this research is to find the most influential factor in learning programming algorithm using a quantitative approach. The…

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…

Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

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…

Failure rates in first year calculus courses are high in most post-secondary institutions across North America and other parts of the world. This Inukshuk-funded open education project involved the development of five stand-alone pre-calculus learning modules. The design and revision phases of this project occurred between the fall of 2007 and…

The 9th International Conference on Educational Data Mining (EDM 2016) is held under the auspices of the International Educational Data Mining Society at the Sheraton Raleigh Hotel, in downtown Raleigh, North Carolina, in the USA. The conference, held June 29-July 2, 2016, follows the eight previous editions (Madrid 2015, London 2014, Memphis…

The 7th International Conference on Education Data Mining held on July 4th-7th, 2014, at the Institute of Education, London, UK is the leading international forum for high-quality research that mines large data sets in order to answer educational research questions that shed light on the learning process. These data sets may come from the traces…