Manim: A Review of Programmatic Mathematical Animation for Visualization and Education