Rupert's Snub Cube and other Math Holes
Yes, the whole 80 minutes is about cubes and their relatives, but from a variety of angles:
The earlier SIGBOVIK 2025 paper Some upsetting things about shapes lets you see how far I've come in adding footnote support to BoVeX (not far) and avoids exposing you to any unknown information.
Play jcreed's boring and hard video game version.
See also dwrensha's soothing video version of results and his formal verification of the delicate triakis tetrahedron solution.
My 3D models of the Platonic, Archimedean, and Catalan solids. No home is complete without a full set!
And 3D models of unappealing convex polyhedra #76 and #214.
Please leave a comment on my blog or observe me seldom posting in a place like BlueSky or Mastodon!
Get all Tom 7 thingos at → [tom7.org]