Couvre la représentation de Weil, les opérateurs Heis, le théorème Stone-Neumann, les opérateurs unitaires, la structure algèbre de Lie et la forme symlectique.
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.
