Explore la linéarité des espaces tangents, la définition des vecteurs tangents sans un espace d'intégration et leurs opérations, ainsi que l'équivalence des différentes notions d'espace tangents.
Explore les connexions sur les collecteurs, en mettant l'accent sur la définition axiomatique et les propriétés des dérivés dans les champs vectoriels de différenciation.
Couvre la définition de la rétraction, des sous-groupes ouverts, des fonctions de définition locales, des espaces tangents et des métriques riemanniennes.
Couvre MLIR, une infrastructure de compilateur pour le calcul spécifique au domaine, soulignant l'importance de niveaux d'abstraction multiples et de sémantique de niveau supérieur.
