Sign up or sign in

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).

Scheduled for: 2026-03-27 02:40 PM: Recreational Math Session #1.3

Status: Accepted

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

Back to collection