Regarding tooling, I use
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).
- A short video about an elegant proof of the number of spanning trees of a complete graph.
- An overview of the Blossom algorithm for maximum graph matching.
- A proof of the weak perfect graph theorem.
- A proof of Vizing’s theorem about graph edge coloring.