This paper presents the findings from a survey used to investigate how mathematicians perceive the genre of mathematical proof writing at the undergraduate level. Mathematicians were asked whether ...

Introduces students to ideas and techniques from discrete mathematics that are widely used in science and engineering. Mathematical definitions and proofs are emphasized. Topics include formal logic ...

It might come as a surprise to some people that this prediction hasn’t already come to pass. Given that mathematics is a subject of logic and precision, it would seem to be perfect territory for a ...

Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean.

Majors usually begin by taking the calculus sequence. By the end of their first year, it is highly suggested for students to take either of the introductory proof classes (Discrete Math or Number ...