Collection · 5 notebooks
Demo Notebooks
Demo notebooks illustrating the types of content you can create using MathBB
Sphere eversion
An explainer article about the surprising world of sphere eversions. Have you ever turned a sphere inside out without making a hole in it? This article will let you try it!
The article includes an interactive visualization that lets you evert a sphere yourself, and a short demo MathBB interactive features.
Sendov's Conjecture
An exposition of Lech Mazur's recently published proof of Lech Mazur and its digestion by Terry Tao. Includes Lean formalizations and an interactive visualization.
The four color theorem
Talk slides: The four color theorem and reducibility as a two-player game
Delivered at the MathFest 2026 session: Fifty years of the four color theorem
The moving sofa problem
A talk on the famous moving sofa problem and the milestones that led to its solution in 2024 by Jineon Baek
An animated introduction to Plancherel measure
A talk on Plancherel measure, Young tableaux, jeu de taquin forests and more
Delivered at Permutation Patterns 2026
Jeu de taquin forests and the infinite RSK correspondence
A combinatorics talk given at the SIAM Conference on Discrete Mathematics, UC San Diego, July 2026
The sphere packing problem
A short article explaining the *sphere packing problem*: a famous geometry problem that was solved in 2, 3, 8, and 24 Euclidean dimensions but is still open in all other dimensions
The Basel problem
Two easy proofs of Euler's famous series infinite evaluation
$$1 + \frac14 + \frac19 + \frac{1}{16} + \frac{1}{25} + \ldots = \frac{\pi^2}{6},$$
and a discussion of some of the far-reaching mathematics this identity relates to.
The Brouwer fixed point theorem
An explainer article about Brouwer's fixed point theorem. Includes a proof in the two-dimensional case using Sperner's lemma, a well-known combinatorial fact, and a discussion of the equivalence between Brouwer's fixed point theorem and other important facts such as the no retract theorem and the existence of a Nash equilibrium in two-player games.