Couvre les dérivées partielles, la différentiabilité, les équations différentielles, les propriétés des ensembles et la vérification des extrema locaux.
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.