Sign up or sign in

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

Recreational Math Session #1.3

Subevent of Recreational Math Session #1

Times: 2026 Mar 27 from 02:40PM to 02:55PM (Central Time (US & Canada))

Manimating Formal Definitions and Theorems

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.

Notes:

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

Back to events