I occasionally create videos about math/computer science that I put up on my YouTube channel, written in Python with Manim. Their source code is open and can be found here.
Regarding tooling, I use sox and arecord to record and process the audio and Kdenlive + ffmpeg to cut the video. For music, I use the blue dots sessions website – a great source of free high quality music under the Creative Commons license.
I also use Vector Magic to convert bitmap images to vectors for neat visualization of bitmap images (namely authors of proofs and algorithms I cover in the videos).
The rest of this page contains a list of all the videos by category, along with links to their YouTube, source code, subtitles and downloads in various resolutions (h264-encoded).
Graph Theory
2021/10/06 – Cayley’s Formula [YouTube] [720p, 1080p, 2160p] [subtitles, code]
- A short video about an elegant proof of the number of spanning trees of a complete graph.
2021/08/23 – The Blossom algorithm [YouTube] [720p, 1080p, 2160p] [subtitles, code]
- An overview of the Blossom algorithm for maximum graph matching.
2021/06/01 – Weak Perfect Graph Theorem [YouTube] [720p, 1080p, 2160p] [subtitles, code]
- A proof of the weak perfect graph theorem.
2021/04/28 – Vizing’s theorem [YouTube] [720p, 1080p] [subtitles, code]
- A proof of Vizing’s theorem about graph edge coloring.