Explore la méthode des volumes finis pour la simulation d'écoulement numérique, en mettant l'accent sur la diffusion constante dans la conduction thermique et les équations algébriques linéaires.
Explore la vérification d'un functeur Lie en tant qu'adjoint gauche, avec des transformations naturelles satisfaisant les identités triangulaires et les isomorphismes.