Abstract

I will discuss experiments in using formal mathematics as an optional supplement to undergraduate mathematics teaching, in real analysis and more recently in intro-to-proof. I will particularly consider the question of how to minimize the difference between the mainstream and formal parts of a course: by careful selection of subject matter, by custom automation of common argument types, and by encouraging particular stylistic patterns in both informal and formal proof.

Bio

Heather Macbeth is an Assistant Professor at Fordham University, specializing in differential geometry.