Théo Tyburn
About
Projects
Talks
Talks
Sphere Tracing and Improvements
18-05-2026
Technische Universität Berlin
source
AI for Mathematics with Lean
25-03-2026
Heinrich Hertz Institute, Fraunhofer
source
Functional 3D graphics for the browser in Scheme
13-03-2026
BonKonf 2026
source
Visualizing the limit set of Kleinian groups
24-07-2024
Technische Universität Berlin
source