In this work we introduce some basic concepts within homotopy type theory (HoTT), a proposed alternative mathematical foundation to classical set theory. In particular, our discussion revolves around the Axiom of Choice (AC). In Part I, we introduce the classical AC and some of its most important equivalents. In Part...
Mathematics outreach typically consists of community events that show the exciting applications of mathematics, particularly to K-12 students. The goal of mathematics outreach events is to increase student interest and involvement in mathematics-related activities. Students start to develop a stigma against mathematics by the end of elementary school. Outreach events...
In "Level Number Sequences for Trees" Flagotet and Prodinger investigate the problem of counting the number of level number sequences associated to binary trees of $n$ binary nodes. I convert this problem into terms of exterior nodes or "leaves" and leaf number sequences. "Polynomial representation" is then defined to address...
Applied problems are a necessity for a well-rounded and rigorous education in mathematics. This thesis summarizes the literature about student engagement with applied problems in order to develop a set of criteria for what makes an engaging and meaningful applied mathematics problem. Based on a review of the literature, this...
There is high projected growth for STEM-based job fields; however, a significant barrier to students entering those fields is the requirement to take Introductory Calculus. This thesis summarizes the current research done to improve university level math education, specifically calculus courses. It then uses the MAA Instructional Practices Guide to...