Sign up or sign in
logo

Recreational Math: Puzzles, Games, and Other Forms of Play

Icon: calendar Recreational Math Session #1.3 | 2026 Mar 27 from 02:40PM to 02:55PM (Central Time (US & Canada)) | Stevens Hall 428

‟Manimating Formal Definitions and Theorems” by Robert DeYeso III <robldeye@gmail.com>, University of Tennessee at Martin

Abstract:

We use the community version of Manim (created and popularized by Youtuber 3Blue1Brown) to animate mathematical concepts and theorems that are traditionally very difficult to convey. Examples include animations of the derivative, the $\varepsilon$-$\delta$ definition of the limit, and the fundamental theorem of calculus. If time permits, we will play with an interactive example where students can dynamically adjust animations of integrals.

Author Notes:

You can find more examples on my github (https://github.com/robldeye).