Explore la machine universelle Turing, sa représentation canonique et son rôle dans la définition des algorithmes et des concepts théoriques d'informatique.
Explore les graphes de Ramanujan, génère des fonctions, des marches sans retour en arrière et des graphes expandeurs en relation avec les problèmes NP-hard.
Explore la solution de l'équation de Schrdinger pour les systèmes à plusieurs électrons en utilisant des ensembles de base et le concept de fonctions de base.