J
onas
R
ädle
E-Mails 📧
jonas.raedle@tum.de
jonas.raedle@gmail.com
Entries
2018
Deriving generic class instances for datatypes
by
Jonas Rädle
📧
and
Lars Hupel
🌐
Nov 06
2017
Orbit-Stabiliser Theorem with Application to Rotational Symmetries
by
Jonas Rädle
📧
Aug 20