- A browser game and Android app to guess the day of the week for random dates.
- Felix Klein Protokolle
- An index of seminars 1872 to 1912.
- Formal BOOK
- An attempt to formalize Proofs from THE BOOK using Lean.
- Github Labels
- A bug report and explanation of how to choose a background color.
- Classifications and realizations
- Combinatorial spheres, polytopes and oriented matroids.
- Equiareal Triangulations
- Triangulations of the triangle with equal areas.
- More terms of a sequence defined by Cloitre
- This is A186253 in the OEIS.
- Platonic inclusions
- A visualization of polyhedral containment.
- Kissing cylinders
- A visualization of cylinders kissing a sphere.
- Hypercube unfoldings
- 3d animations of all 261 unfodings of the 4-dimensional hypercube.
- Counting hypercube unfoldings
- Generating unfoldings of the hypercube.
Intelligent Matrix Exponentiation
The complete enumeration of 4-polytopes and 3-spheres with nine vertices
Israel Journal of Mathematics, 2020.
JPEG XL next-generation image compression architecture and coding tools
SPIE Optical Engineering + Applications, 2019.
supergravity and the magic of machine learning
Journal of High Energy Physics, 2019.
Realizability and inscribability for simplicial polytopes via nonlinear optimization
Mathematical Programming, 2017.
Computing Maximal Copies of Polyhedra Contained in a Polyhedron
Experimental Mathematics, 2015.
Real equivariant bordism for elementary abelian 2-groups
Homology, Homotopy and Applications, 2013.
Optimization Methods in Discrete Geometry
Real equivariant bordism for products of