Miscellanea
- Guessaday
- 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.
- arXiv Comment Extractor
- A convenient way to look at comments in .tex files of papers arxiv.org
- 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.
Research
Preprints
Intelligent Matrix Exponentiation
Preprint
, 2020.
Journal papers
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.
Theses
Optimization Methods in Discrete Geometry
Dissertation
, 2016.
Real equivariant bordism for products of
Diplomarbeit
, 2011.
Teaching
- Lecture Topology I
- Wintersemester 2017/18
- Vorlesung Mathematisches Panorama
- Wintersemenster 2017/18
- Vorlesung Panorama der Mathematik
- Sommersemester 2017