Couvre les concepts d'algèbre abstraite en utilisant des classes de type dans Scala, y compris la définition des monoïdes, la généralisation des fonctions de réduction et les lois de classe de type.
Couvre des courbes modulaires comme des surfaces compactes de Riemann, expliquant leur topologie, la construction de graphiques holomorphes et leurs propriétés.